Informacje dla studentów
Poniżej przedstawiam propozycję tematów prac magisterskich, na
które można pisać pod moim kierunkiem. Warunkiem wstępnym współpracy jest
umiejętność pisania w TeX-u lub gotowość nauczenia się.
- Algebra Lindenbauma-Tarskiego dla klasycznego rachunku zdań.
- Algebra Lindenbauma-Tarskiego dla klasycznego rachunku logicznego.
- Aksjomatyka teorii mnogości.
- Dwa dowody twierdzenia Godla o istnieniu modelu.
TeX
Link do strony z edytorem, którego używam:
http://www.latexeditor.org/.
Link do bibliotek MikTeX'a:
http://miktex.org/.
Najpierw trzeba zainstalować MikTeX'a a potem LeD'a. W zakładce 'How to
start' jest napisane jak LeD'a' skonfigurować pod MikTeX'em. Pisanie w TeX'u
ułatwi z całą pewnością lektura książki
"Nie za krótkie wprowadzenie do systemu LaTeX". TeX-owy plik źródłowy
mojego doktoratu można znaleźć
tutaj - mam nadzieję,
że będzie pomocny.
