Seminarium prof. Michała Krynickiego odbywa się w poniedziałki o 11:30 w sali 1217 (I p.) budynku nr 12 kampusu UKSW przy ul. Wóycickiego 1/3 na Młocinach.
Aktualności
14 maja 2007
Marek Kłocewiak wprowadzi Was w gry strukturalne E-F.
7 maja 2007
Spotkanie odwołane.
23 kwietnia 2007
Marcin Grębski — Algebry Boole'a.
16 kwietnia 2007
Marcin Grębski — Algebry Boole'a.
2 kwietnia 2007
Marcin Grębski — Algebry Boole'a.
19 marca 2007
Ewelina Seroka będzie nadal kontynuować swój referat poświęcony tematyce logik wielowartościowych.
19 marca 2007
Ewelina Seroka będzie kontynuować swój referat poświęcony tematyce logik wielowartościowych.
12 marca 2007
Ewelina Seroka zapozna nas z logikami wielowartościowymi.
Było:
- matryce Łukasiewicza $M_n = (L_n,\neg,\to)$
- skończone
- przeliczalne
- nieprzeliczalne
- jednogenerowalność matryc skończonych
- lemat Lindenbauma
21 stycznia 2007
Pierwsze zajęcia, ustalenie programu, sposobu pracy i warunków zaliczenia. Serdecznie zapraszamy.
Informacje
Program seminarium w roku 2006/2007
(Wersja rozwojowa)
- Rozszerzenia logiki elementarnej —
- logiki wielowartościowe,
- logiki z dodatkowymi kwantyfikatorami;
- Prawa zero-jedynkowe —
- tw. Fogina.
Dla kogo?
Dla studentów — matematyków i logików.
Warunki zaliczenia
Przygotowanie referatu, co najmniej jednego;)