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).
  • 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).
  • Prezentacja (download)
Oprogramowanie:
  • Mizar 8.1.05 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