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:

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.

Instalacja systemu Mizar w Windows.
1. Ściągnij samorozpakowywujące archiwum wybierając download w sekcji Oprogramowanie.
2. Uruchom konsolę poleceń i przejdź do kartoteki ze ściągniętym archiwum.
3. Uruchom ściągnięty program w celu odpakowania.
4. Uruchom makro instalacyjne wpisujac w linii poleceń np. INSTALL C:\MIZAR (C:\MIZAR oznacza tu ścieżkę, gdzie ma zostać zainstalowany system Mizar).
5. Dodaj kartotekę z systemem Mizar do zmiennej środowiskowej PATH.
6. Ustaw zmienną środowiskową o nazwie MIZFILES tak, aby wskazywała ona zainstalowany system Mizar.
  Uwaga: ten krok jest niezbędny dla prawidłowej pracy systemu Mizar.
7. Skopiuj plik .EMACS z folderu gdzie zainstalowany jest Mizar na korzeń głównego dysku twardego (C:\).
Instalacja programu GNU Emacs w Windows (program umożliwia obsługę interfejsu systemu Mizar).
1. Ściągnij archiwum wybierając download w sekcji Oprogramowanie.
2. Po rozpakowaniu archiwum powstanie katalog EMACS-23.2.
3. Utwórz link do programu RUNEMACS.EXE znajdującego się w kartotece EMACS-23.2\BIN\.
Instalacja programu GNU grep w Windows (program umożliwia wyszukiwanie wyrażeń regularnych w plikach).
1. Ściągnij program wybierając download w sekcji Oprogramowanie.
2. Skopiuj program do dowolnej kartoteki, której nazwa znajduje się w zmiennej środowiskowej PATH.