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

Department of Theoretical Computer Science, Institute of Computer Science,
AV ČR invites you to Yuri Gurevich's talk on logic in computer
science and engineering, June 8, 2pm, seminar room 318 (Pod Vodarenskou vezi 2):

Logic in computer science and engineering
Yuri Gurevich, Microsoft Research

In software industry, engineers do formal logic day in and day out,
even though they may not realize that. As a rule, they have not studied logic.
Instead, they spent a lot of time studying calculus which they use rarely, if
ever. I'll try to illustrate why logic is so relevant and
why it is hard for software engineers to pick it up.

Datum platnosti: 
25. červen 2017