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 relacji (download).
  • Rozszerzone środowisko do nauki teorii relacji - zawiera poprzednie (download).
  • Plik Mizarowy z wykładu 1 (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) oraz dodatkowy słownik eqrel.voc.
  • Plik Mizarowy z wykładu 11 (download) oraz dodatkowy słownik funct.voc.
  • Plik Mizarowy z wykładu 12 (download) - kontynuacja poprzedniego.
  • Plik Mizarowy z wykładu 13 (download) - indukcja matematyczna i arytmetyka na liczbach naturalnych (graf zależności twierdzeń).
  • 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