Exaktní: Porovnání verzí
Smazaný obsah Přidaný obsah
m typografie značka: editace z Vizuálního editoru |
Robot: Opravuji 0 zdrojů a označuji 1 zdrojů jako nefunkční) #IABot (v2.0.8.6 |
||
Řádek 34:
Příklady formálních systémů: Jazyk kterékoli partie matematiky je umělým formálním jazykem a s inferenčními pravidly tvoří formální systém např. predikátová logika, fuzzy logika, ucelené partie algebry či diferenciálního a integrálního počtu, exaktní hry, exaktní stroje.
K hlubšímu seznámení s problematikou formálních systémů lze odkázat na článek<ref>
| příjmení = Havel
| jméno = Ivan
Řádek 46:
| strany = 171–211
| poznámka = Vyšlo v rámci sborníku SOFSEM'82
}}{{Nedostupný zdroj}}</ref> a na knihu.<ref> {{Citace monografie
| příjmení = Hofstadter
| jméno = Douglas R.
| |||