Metody dowodzenia twierdzeń i automatyzacja rozumowań
Materiały dla studentów V roku kognitywistyki:
Wykłady
- 6 października 2010: o teorii dowodu
- 13 października 2010: metoda aksjomatyczna, niezależność aksjomatów
- 20 października 2010: dowody założeniowe: KRZ
- 27 października 2010: dowody założeniowe: KRP
- 3 listopada 2010: poligon 1
- 10 listopada 2010: tabele analityczne: KRZ, KRP (Tabele analityczne dla KRZ - wykład prof. Andrzeja Wiśniewskiego)
- 17 listopada 2010: tabele analityczne: Ł3, MRZ (Tabele analityczne dla MRZ - wykład prof. Andrzeja Wiśniewskiego)
- 24 listopada 2010: tabele syntetyczne
- 1 grudnia 2010: choróbsko; nie ma zajęć
- 8 grudnia 2010: postacie normalne
- 15 grudnia 2010: rachunek sekwentów, odwracalność reguł
- 5 stycznia 2011: rachunek sekwentów - c.d.
- 12 stycznia 2011: nie ma zajęć
- 19 stycznia 2011: poligon 2
- 26 stycznia 2011: dowody dynamiczne w logikach adaptatywnych
Konwersatoria:
- 7 października 2010: metalogika: rekapitulacja
- 14 października 2010: systemy aksjomatyczne: niezależność aksjomatów, równoważnościowy rachunek zdań
- 21 października 2010: dowody założeniowe: KRZ
- 28 października 2010: dowody założeniowe: KRP
- 4 listopada 2010: kolokwium 1*
- 18 listopada 2010: tabele analityczne: KRZ, KRP, Ł3, MRZ
- 25 listopada 2010: c.d.
- 2 grudnia 2010: kolokwium 2*
- 9 grudnia 2010: tabele syntetyczne, postacie normalne
- 16 grudnia 2010: rachunek sekwentów, raz i dwa
- 13 stycznia 2011: rachunek sekwentów - ciąg dalszy
- 20 stycznia 2011: kolokwium 3*
- 25 stycznia 2011: 9.45 - wszelkie brakujące kolokwia*
- 27 stycznia 2011: 9.45 - kolokwium poprawkowe (jeśli)
Egzaminy (z zadaniami np. takimi):
- 2 lutego 2011, 10.00-11.00, sala 108, bud. D*
- 9 lutego 2011, 10.00-11.00, sala 108, bud. D*
Egzamin poprawkowy (jeśli)
- 16 lutego 2011, 10.00-11.00, sala 108, bud. D
wersja strony: 125, ostatnia edycja: 15 Feb 2011 14:04