Podstawy Logiki i Teorii Mnogości


Materiały uzupełniające do wykładów:
  • Åšrodowisko Mizarowe do nauki rachunku zdaÅ„ i predykatów (download).
  • Åšrodowisko do nauki wÅ‚asnoÅ›ci zbiorów (download).
  • Åšrodowisko do nauki teorii relacji dwuczÅ‚onowych (download).
  • Rozszerzone Å›rodowisko do nauki teorii relacji - zawiera poprzednie (download).
  • Plik Mizarowy z wykÅ‚adu 1 (download).
  • Plik Mizarowy z wykÅ‚adu 2 (download).
  • Plik Mizarowy z wykÅ‚adu 3 (download).
  • Plik Mizarowy z wykÅ‚adu 4 (download).
  • Plik Mizarowy z wykÅ‚adu 5 (download).
  • Plik Mizarowy z wykÅ‚adu 6 (download).
  • Plik Mizarowy z wykÅ‚adu 7 (download).
  • Plik Mizarowy z wykÅ‚adu 8 (download).
  • Plik Mizarowy z wykÅ‚adu 9 (download).
  • Plik Mizarowy z wykÅ‚adu 10 (download).
  • Plik Mizarowy z wykÅ‚adu 11 (download).
  • Prezentacja - wprowadzenie (download)
Oprogramowanie:
  • Mizar 8.1.09 dla Windows (download).
  • GNU Emacs dla Windows (download).
  • Dodatkowo można pobrać: GNU grep dla Windows (download).
Literatura:
  • K. Kuratowski. WstÄ™p do teorii mnogoÅ›ci i topologii. PWN.
  • A. Grzegorczyk. Zarys logiki matematycznej. PWN.
  • W. Marek, J. Onyszkiewicz. Elementy logiki i teorii mnogoÅ›ci w zadaniach. PWN.

Uwagi do samodzielnej instalacji systemu Mizar:


Softadm