BIBILIOGRAFIA DO WYKŁADU METODY FORMALNE INFORMATYKI

Bibliografia

• K.Kuratowski, Wstep do teoriii mnogosci i topologii, 
• H.Rasiowa, Wstep do matematyki wspolczesnej, PWN, Warszawa 1971, 1984, 1998
• K. Kuratowski, A. Mostowski, Teoria mnogo¶ci, PWN, Warszawa, 1978
• Wykłady ze Wstepu do teorii mnogosci z UW autor: prof. Jerzy Tiuryn
• Wykłady ze "Wstepu do teorii mnogosci" z UW autor: prof. Paweł Urzyczyn
• Wykład "Logika dla informatykow z UWr autor: prof. Leszek Pacholski

• Materiały dydaktyczne przygotowane w ramach projektu Opracowanie programów nauczania na odległo¶ć na kierunku studiów wyższych – Informatyka