Sylabus
Navrhovaná témata:
1. Problémy současné informatiky a jejich filosofick é aspekty
2. Je současná věda bez metafyzických předpokladů? (Od pozitivismu, pragmatismu, sociobilogie, silná umělá intelgence, filozofie K. Poppera až po Feyerabenda, pragmatismus a instrumentalismus.)
3. Historie matematiky a informatiky
4. Etika v informatice
5. Výpočetní modely
6. Lingvistika, logika, filozofie logiky
7. Logické struktury v jiných oblastech než informatice
8. Filosofie programovacích jazyků
9. Znalostní báze a databáze
10. Web, sémantický web a vyhledávače
11. Neuronové sítě a evoluční algoritmy
12. Umělá inteligence Příklady témat minulých semestrech: Co bylo za zrcadlem? Jazyk matematiky Filosofie mysli (z pohledu analytické filosofie) O poznávání Singularita Proč je sociální web odolný vůči elegantní matematice Jak formálně popsat přirozený jazyk Programovací jazyky, jejich vývoj a "co si z něj můžeme odnést" Jak se matematici dorozumívají? O frazeologii a terminologii odborného jazyka Kvantové počítání Tichého transparentní intenzionální logika Kurt Goedel...! Co a k čemu je logika Hypotetické soudy Předem odsouzený svět Nekonečno v matematice a filosofii Jak formálně popsat přirozený jazyk? Změny paradigmat umělé inteligence Počítačové hry ve výuce - ano či ne? Jak také můžeme myslet Data mining pro nákladnou optimalizaci Prožívaný čas podle Petra Vopěnky Webová stránka semináře: ktiml.mff.cuni.cz/fpi/ Témata jednotlivých seminářů jsou nezávislá, nabízejí řadu pohledů a v průběhu semestru budou aktualizována. Podmínkou pro zápočet bude vypracování eseje k některému z v aktuálním semestru probranému tématu nebo zápisu některé z přednášek dle vlastního výběru a účast.
Anotace
Náplní semináře jsou vystoupení odborníků v informatice, matematice i v relevantní filosofické problematice, v níž mohou posluchači získat nové náhledy, s následující diskusí.