Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

Aktuality

Výuka Klasické logiky I 16. a 17.10. z důvodu pracovní cesty odpadá. M. Bílková.

15. říjen 2017

byla umluvena na Pondělí 14:10 do učebny 119b. První přednáška proběhne v pondělí 9. října.

06. říjen 2017

začínají až ve Čt 12.10. (učebna 137, 15:00).
04. říjen 2017

Harmonogram letního semestru 2016/17

  • Výuka v letním semestru: 20. 2. 2017 – 19. 5. 2017
  • Zápis do IS: 3. 2. 2017, 10.00 h. – 12. 3. 2017, 18.00 h.
  • Letní prázdniny: 1. 7. 2017 - 30. 8. 2017
  • Zkouškové období: 22. 5. 2017 – 30. 6. 2017, 1. 9. 2017 – 18. 9. 2017

Více informací naleznete v harmonogramu akademického roku 2016/17.

Rozvrh v letním semestru 2016/17

Většina výuky se koná v učebnách v Celetné 20. Přístup do učebny 137 je po schodišti z Celetné do prvního patra, pak vpravo a po zadním schodišti do třetího patra. Rozvrh v obou našich učebnách je možné nalézt na následujících odkazech: 119 a 137. Dále je možné prohlédnout si rozvrhy pro jednotlivé obory/ročníky (dle doporučeného průběhu studia, nezahrnují volitelné předměty):

1. ročník bakalářského studia

2. ročník bakalářského studia

3. ročník bakalářského studia

Navazující magisterské studium

Poznámky k rozvrhu

  • Teorie důkazů začíná až v dubnu, bude se konat 2x2h týdně
  • Pokračuje předmět Procedurální teorie pojmů, čas Út 13:20, místnost C119
  • Seminář z aplikované matematické logiky se bude konat v UI AV v Ládví, zasedací místnost ve 2. patře, ve středu od 10h. Program semináře je distribuován emailem, přihlaste se prosím Dagmar Harmancové.
  • Logický seminář – po dohodě s katedrou lze realizovat účastí na některém z těchto seminářů (případně i dvojí jednosemestrovou účastí): Logický seminář MÚ AV ČR (prof. Pudlák), Studentský logický seminář (I.C. Oliviera), SEDMA (doc. Šolcová), Seminář z didaktiky matematiky (doc. Zhouf), Seminář z počtů (dr. Chodounský, www),  Čtvrteční seminář CTS (dr. Trlifajová) a Filosofické problémy informatiky (dr. Krýsl MFF UK). Účast na semináři je nutné domluvit s příslušným organizátorem (uvedeným v závorce). Studenti logiky si zapisují Předmět Logický seminář (s kódem Filozofické fakulty), atestace pak bude udělena na základě zprávy od organizátora semináře.
  • V případě zájmu bude otevřen předmět Forcing (domluvte se e-mailem s dr. Hozníkem)
  • V LS budou otevřeny volitelné předměty Úvod do matematiky II a Seminář z matematiky II navazující na odpovídající předmět v ZS, výuka začne až ve druhém týdnu (od 27.2.)
  • Byl otevřen nový volitelný předmět The Semantics of Proper Names, výuka bude probíhat v angličtině

Volitelné předměty

Předměty v následující tabulce je možné si zapsat jako povinně volitelné. Povinně volitelné předměty zajišťované katedrou logiky jsou uvedeny v rozvrhu na příslušný semestr (případně je lze nalézt v seznamu všech předmětů vyučovaných na katedře logiky).

VyučujícíNázevDenČasMístnostRozsahKód(y) SISAtestKred
Havel, I. M. Přirozené a umělé myšlení I. st 14:30–16:00 Seminární místnost CTS (Husova 4, 3. patro) 2/0 NPOZ004 Zk 3
Igor C. Oliveira Studentský logický seminář  
Seminární místnost Katedry algebry (Sokolovská 83, 3. patro)  

NALG050


 

Chodounský, D.

Seminář z počtů čt 11:00–14:00 Matematický ústav AVČR (Žitná 25, přední budova, 3. patro) 3/0 NLTM034 Z 3
Bílková, M., Cintula, P. Seminář aplikované matematické logiky st 10:00-11:30 seminární místnost ÚI AVČR (č. 318) 2/0,2/0 ALG500011 Zk 6
Petkevič, V. Úvodní seminář matematické lingvistiky St 15:50-17:20 C119 0/2,0/2 ALGV00050 Z,Z 8