Teaching: Mathematical logic
Weekly tasks
- Task #1 (01.09.2010-07.09.2010)
- Task #2 (08.09.2010-14.09.2010)
- Task #3 (15.09.2010-05.10.2010)
- Task #4 (28.09.2010-19.10.2010)
- Task #5
- Task #6
- Task #7
Extra tasks for some extra fame
- Extra task #1 (due on 28.09.2010; can be submitted either in person or via email)
Useful stuff
- Axioms
- Formal deduction example (with the deduction theorem)
- Two formal deduction examples (without the deduction theorem)
- Yet another example of formal deduction
Literature
- Дрозд Ю.А. Основи математичної логіки.
- Мендельсон Э. Введение в математическую логику.
- Олійник А.С., Сущанський В.І. Задачі з математичної логіки та теорії алгоритмів.
- Дрозд-Корольова О.Ю. Задачі з математичної логіки.
Instructions on obtaining access to the students' area, including literature.