Filozofická Fakulta

Katedra logiky

Studentské hodnocení výuky

15.10.2017 - 20:42
14. listopad 2017

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

06.10.2017 - 09:27
24. listopad 2017

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

05.10.2017 - 11:02
6. říjen 2017

z důvodu nemoci odpadá přednáška 5.10. od 11.40 hod.

04.10.2017 - 10:56
12. říjen 2017
první přednáška ve Čt 5.12. od 11:40 pro nemoc přednášejícího odpadá.
04.10.2017 - 10:32
7. říjen 2017
se koná v sobotu 7.12. Sraz je na Smíchovském nádraží, jedeme vlakem v 9:11 do Loděnice (pozor, je to ta trať zkrz Prokopské údolí, nikoliv ta hlavní podél řeky).
04.10.2017 - 10:27
3. listopad 2017
začínají až ve Čt 12.10. (učebna 137, 15:00).
01.10.2017 - 15:50
9. říjen 2017

Výuka M. Bílkové předmětu Klasická logika I se v prvním týdnu semestru (po 2.10. a úterý 3.10) z důvodu nemoci nekoná.

30.09.2017 - 17:22
9. říjen 2017

Přednáška Úvod do matematiky začíná 2.10. výjimečně až od 13:00 (místnost 137). R. Honzík

29.09.2017 - 13:58
9. říjen 2017

V zimním semestru bude probíhat kurz Pure Inductive Logic vedený dr. Vencovskou. Své časové možnosti prosím zaneste do Doodlu. Podle toho pak bude předmět rozvrhnut.

26.09.2017 - 13:45
9. říjen 2017

Tradiční informační schůzka studentů s učiteli se koná v pondělí 2.10. ve 14:45 v učebně 137. Zveme hlavně studenty prvního ročníku bakalářského studia (studentům prvního ročníku připomínám, že jejich výuka začíná v pondělí 2.10 Klasickou logikou I v 10:50 a pokračuje Úvodem do matematiky v 12:30). R. Honzík.

25.09.2017 - 12:05
9. říjen 2017

Knihovna FF UK bude od nového semestru pořádat výběrový seminář Kurz informační gramotnosti. Kurz bude vyučován blokově v Knihovně Jana Palacha. V SISu je k nalezení pod kódem AKFF00001 (v českém jazyce) nebo AKFF00002 (v anglickém jazyce). Kurz je určen pro studenty od prvního ročníku po končící studenty, kteří potřebují získat některé znalosti pro psaní závěrečných prací. 

Cílem výběrového semináře je připravit studenty na práci s informačními zdroji při psaní seminární práce / bakalářské práce či práce vyššího stupně. Student si na začátku kurzu zvolí téma se zaměřením na své studium (např. téma bakalářské práce), k tomuto tématu bude postupně vyhledávat různé formy dokumentů a naučí se s nimi pracovat. Výsledkem může být informační podklad pro napsání kvalifikační práce. Nejprve budou studenti seznámeni s knihovnami a informačními službami poskytovanými Knihovnou FF UK, ale i službami v rámci systému knihoven ČR, aby dokázali získat požadovaný tištěný dokument. Dále se seznámí s...

21.09.2017 - 10:46
5. říjen 2017

budou sekretariát a knihovna v době od 25.9. do 4.10. uzavřeny.

11.09.2017 - 17:01
25. září 2017

Budu zkoušet v pondělí 18.9. v 14:00 (termín je vypsán v SIS). R. Honzík.

24.08.2017 - 19:02
23. září 2017
se koná v Út 19.9. od 9h.
24.08.2017 - 19:00
23. září 2017
V podzimním zkouškovém období zkouším ve Čt 31.8. a v Út 19.9., v obou případech od 15h.
19.07.2017 - 16:50
18. srpen 2017
se bude konat v termínu 18.-20.9., den a hodina budou ještě upřesněny. Poslední den pro odevzdání závěrečné práce je Čt 17.8. V.Š.
16.07.2017 - 20:06
15. srpen 2017

Na obor LOGIKA se lze hlásit také v dodatečném přijímacím řízení, které se koná v 18.9. v 10:00. Jedná se o plnohodnotné přijímací zkoušky na bakalářské i navazující magisterské studium, které jsou zcela nezávislé na přijimacích zkouškách v červnu. Více informací naleznete na stránce zde.

29.06.2017 - 11:45
5. červenec 2017

jsou z důvodu dovolené sekretariát a knihovna uzavřeny.

26.05.2017 - 13:35
25. červen 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.

09.05.2017 - 18:04
8. červen 2017

Topology, Algebra and Categories in Logic 2017 Summer School (Olomouc June 20-24) and conference (Prague June 26-30) is approaching! Early registration for the school and conference will be open until 20/05/2017. More info on http://www.cs.cas.cz/tacl2017/.

02.05.2017 - 17:32
1. červen 2017

Tommaso Moraschini will give a series of four lectures on Abstract Algebraic Logic as a part of Logic Seminar on Wednesdays 3., 17., 24. and 31.5. at the Institute of Computer Science, (room 318), Pod Vodarenskou vezi 2, Ladvi.

02.05.2017 - 17:28
1. červen 2017

Ústav filosofie a religionistiky FF UK a Oddělení logiky FLÚ AV ČR vás zvou na přednášku prof. Tadeusze Ciecierskeho (University of Warsaw) Indexical beliefs, která se koná ve čtvrtek 4. května od 14:00 na Filosofickém ústavu AV ČR v Akademickém konferenčním centru, Husova 4a, Praha 1.

 

26.04.2017 - 13:11
26. květen 2017

Přednáška Teorie důkazů se ve čtvrtek 27.4. nekoná.

22.04.2017 - 14:18
22. květen 2017
Obě zkoušky se budou konat společně 19.6. nebo/a 16.6. Poslední termín pro odevzdání závěrečné práce je stanoven na Ne 21.5. Prosíme zájemce o zkoušky, aby svůj úmysl se ke zkoušce přihlásit dali najevo nezávazně i dřív, a aby i práci pokud možno odevzdali i dřív.
18.04.2017 - 11:09
21. duben 2017

More than the sum of its parts: perceiving complexity in painting
(Laura Commare, Department of Art History, University of Vienna)

Over the last decades, image complexity has been discussed as one of the predominant predictors for liking and interest in images, patterns and artworks. Since the 1960’s most studies have equated image complexity with visual complexity. They understood image complexity as formal aspect of art, as objective visual property that artworks may hold, which is comprised of number, variety and organization of visual elements. This ‘traditional’ concept of image complexity is however challenged by other studies in psychology, which suggest that for artworks objective measures of visual complexity do not represent perceived image complexity adequately. That is to say, the subjectively felt difficulty in processing visual input as expressed in self-reports differs from what objective measures of visual complexity predict. Most recent studies offer a possible explanation...

23.03.2017 - 11:33
4. duben 2017

Na mém webu jsou nyní k dispozici průběžně doplňovaná skripta ke kurzu Úvod do matematiky II. Složka uvod_do_matematiky_II_2017 (ve složce je i sken kapitoly z knihy, kterou používáme při přednášce).

11.03.2017 - 12:20
17. březen 2017

V týdnu od 13.3. do 17.3. ruším svou výuku a konzultace (např. se tedy nekonají mé pondělní a středeční kurzy 13.3. a 15.3.). Náhradu domluvíme na příští hodině.

06.03.2017 - 09:56
10. duben 2017

Výuka předmětu Logika a informace II probíhá po dohodě se studenty v pondělí od 17.00 ve Studentském klubu.

02.03.2017 - 13:06
1. duben 2017

Pozvánka na 27. setkání pražského informatického semináře.

14.02.2017 - 11:11
10. březen 2017

Tématem budou topologické vlastnosti a vlastnosti týkající se Lebesgueovy míry na reálných číslech. Reálná čásla budeme chápat podle potřeby jako klasická reálná čísla, nebo jako prvky Cantorova nebo Bairova prostoru. Přednáška bude přístupná i pro studenty 1. ročníku Bc (kteří již mají Úvod do matematiky I).