| (chlapská) Logika | PDF(47KB) PNG |
| Povídání o tom, co vymysleli už antičtí logikové: Aristotelova nauka o
sylogismech a megarsko-stoická výroková logika. |
| Zdroj: sborník | Autor: Anša Lauschmannová | Datum: 2003 Rapotín |
| Logika | PDF(74KB) PNG |
| Súhrn definícií a viet z výrokovej logiky a logiky 1. stupňa (prediktátová logika) |
| Zdroj: sborník | Autor: Libor Barto | Datum: 2001 Tříska |
| Logika, důkazy, argumentace | PDF(63KB) PNG |
| Toto je příspěvek o základech aplikované logiky - logiky dobře utříděných myšlenek a správně sepsaného řešení. Neboli v příspěvku se dozvíte, co je to důkaz a jak udělat ten váš důkaz formálně správným a tak pěkným, že nad ním každé srdce matematika zaplesá! |
| Zdroj: sborník | Autor: Jan Honzík Vaňhara | Datum: 2010 Dobrá Voda |
| Naučit počítač myslet | PDF(47KB) PNG |
| Formální zápis (bez podrobnějšího výkladu) důkazového systému pro výrokovou
logiku. |
| Zdroj: sborník | Autor: Anša Lauschmannová | Datum: 2005 Bernartice |
| Nestandardní metody | PDF(76KB) PNG |
| Dobrodružná výprava do divného světa nestandardní matematiky. Ukážeme si, že v matematice můžeme najít i nekonečně velká přirozená čísla a k čemu je můžeme používat. |
| Zdroj: sborník | Autor: Víťa Kala | Datum: 2007 Rapotín |
| Úvod do výrokové a predikátové logiky | PDF(85KB) PNG |
| Zdroj: sborník | Autor: Eva Ondráčková | Datum: 2003 Loučná |
| Vše, co není zakázáno, se nesmí | PDF(58KB) PNG |
| Povídání o tom, jak se logikové snažili vyzkoumat, co je dovoleno a co je
zakázáno - a jak jim to moc nešlo. |
| Zdroj: sborník | Autor: Anša Lauschmannová |
