Podstawy Logiki i Teorii Mnogości

Materiały uzupełniające do wykładów:

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.