FF:PHV444en Proof, Meaning, Computation - Informace o předmětu

PHV444en Proof, Meaning, Computation

Rozsah

2/0/0. 4 kr. Ukončení: k.

Vyučující

prof. PhDr. BcA. Jiří Raclavský, Ph.D. (přednášející)

Garance

prof. PhDr. BcA. Jiří Raclavský, Ph.D.
Katedra filozofie – Filozofická fakulta
Dodavatelské pracoviště: Katedra filozofie – Filozofická fakulta

Rozvrh

každý lichý čtvrtek 12:00–13:40 A11, kromě Po 18. 11. až Ne 24. 11.

Předpoklady

PHBP Proseminář
The student should know basics of first-order logic (FOL) and Gödel’s incompleteness results.

Omezení zápisu do předmětu

Předmět je nabízen i studentům mimo mateřské obory.

Mateřské obory/plány

předmět má 11 mateřských oborů, zobrazit

Cíle předmětu

Selected topics mainly from logic on the borderline of philosophy, computer science, AI and formal linguistics. The aim is to gather essential knowledge in this fertile area of PHILOSOPHY OF COMPUTING. Some use of computers (e.g. theorem provers), so even COMPUTATIONAL PHILOSOPHY.

Výstupy z učení

(a) analytical and algorithmic thinking;
(b) logical reasoning;
(c) knowledge of some foundational issues of computation, AI and (proof-theoretic) logic, and formal linguistics;
(d) use of selected software applications;
(e) methods of knowledge representation
(f) methods of formal reasoning

Osnova

• Algorithms and Recursive functions [Church, Turing, Gödel]
• Models of Computation (Post/Turing Machines, Lambda Calculus); Decidability, Halting problem [Church, Turing]
• Program as Proof; Sequent Calculus, Semantic Tableaux, Natural Deduction [Gentzen, Prawitz]
• Type Theory and Proof-theoretic Approach to Language [Russell, Montague]
• Computational Theory of Mind (or: Description Logics, Databases, Semantic Nets)
• Foundations of AI (from its birth to recent days) [McCarthy, ...]

Literatura

povinná literatura
• RUSSELL, Stuart J. Jako člověk : umělá inteligence a problém jejího ovládání. Translated by Jiří Zlatuška. První vydání v českém j. Praha: Argo, 2021, 271 stran. ISBN 9788025736418. info

doporučená literatura
• Stanford Encyclopedia of Philosophy (SEP) entries (e.g. Turing Machine, The Philosophy of Computer Science, Computational Philosophy, Automated Reasoning, Artificial Intelligence, The Church-Turing Thesis, Logic-Based Artificial Intelligence)

neurčeno
• RUSSELL, Stuart J. a Peter NORVIG. Artificial intelligence : a modern approach. Fourth edition. Hoboken: Pearson, 2021, xvii, 1115. ISBN 9780134610993. info
• RUSSELL, Stuart. Human Compatible. Praha: Argo, 2021. info
• MIMRAM, Samuel. Program: proof. [Velká Británie]: [nakladatel není známý], 2020, 539 stran. ISBN 9798615591839. info
• NEDERPELT, Rob a Herman GEUVERS. Type theory and formal proof : an introduction. First published. Cambridge: Cambridge University Press, 2014, xxv, 436. ISBN 9781107036505. info
• RANTA, Aarne. Type-theoretical grammar. Oxford: Clarendon Press, 1994, xii, 226. ISBN 019853857X. info
• BOOLOS, George. Computability and logic. Edited by Richard C. Jeffrey. 3rd ed. Cambridge: Cambridge University Press, 1989, x, 304. ISBN 0521389232. info

Výukové metody

Lectures with presentations (etc.), discussions, homeworks. Use of e-learning in IS.
LECTURES:
Each lecture contains:

(i) PDF presentation;

(ii) external texts;

(iii) external software, videos etc.

(iv) presentation based on a self-studied book.
HOMEWORKS:
Each lecture requires:

(i) self-study of external texts and other materials on the lecture topics;

(ii) fulfilling homework (as e-test, ROPOT) on lecture topic;

(iii) self-study of the external book not on the lecture topics;

(iv) preparing a presentation based on the self-studied book.

Metody hodnocení

(i) homeworks via e-learning

(ii) activities (attendance among them)

both from which one needs a certain minimal number of points

as a colloquial 'repetition', there will be (iii) an e-test.

Informace učitele

The very first edition.

Další komentáře

Studijní materiály
Předmět je vyučován v angličtině.

• Statistika zápisu (nejnovější)
  
• Permalink: https://is.muni.cz/predmet/phil/podzim2024/PHV444en