Duží M., Materna P. (2012): TIL jako procedurální logika (průvodce zvídavého čtenáře Transparentní intensionální logikou). Aleph Bratislava 2012, ISBN 978-80-89491-08-7
Duží, M. (2015): Logic in practice; available at https://www.cs.vsb.cz/duzi/Logika_Praxe.pdf.
Duží M. (2012): Logika pro informatiky a příbuzné obory. VŠB-Technická universita Ostrava. ISBN 978-80-248-2662-2
Duží M. (2002): Matematická logika. Ostrava: VŠB-Technical University. 131 p., available at http://www.cs.vsb.cz/duzi/Matlogika.pdf
Mathematical logic
| Jazyk výuky | angličtina |
|---|---|
| Kód | 460-4171 |
| Zkratka | MLO |
| Název předmětu česky | Mathematical logic |
| Název předmětu anglicky | Mathematical logic |
| Garantující katedra | Katedra informatiky |
| Garant předmětu | prof. RNDr. Marie Duží, CSc. |
Anotace
Studenti se v kurzu seznámí s predikátovou logikou 1. řádu, jakožto relačním kalkulem a porovnají jej s Transparentní intensionální logikou (TIL), která je založena na funkcionálním přístupu. Pro dokazování logicky pravdivých sentencí a argumentů použijeme kalkul přirozené dedukce.
Povinná literatura
Doporučená literatura
Z. Manna: Matematická teorie programů. SNTL Praha 1981.
Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.
Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.
Švejdar, V.: Logika (neúplnost, složitost, nutnost). Academia, Praha 2002.
Sochor, A.: Klasická matematická logika. Karolinum Praha, 2001.