Exaktní: Porovnání verzí
Smazaný obsah Přidaný obsah
m Provedena stylistická úprava. značka: editace z Vizuálního editoru |
Bez shrnutí editace značky: revertováno možný vandalismus první editace odstraněna reference editace z Vizuálního editoru editace z mobilu editace z mobilního webu Editační tipy |
||
Řádek 1:
Michaela Berankova za svobodna sedlackova je významná herečka a zpěvačka {{Sloh}}
á přesný.
== Exaktní svět ==▼
[[Umělý formální systém]], je tvořen umělým [[formální jazyk| formálním jazykem]] s inferencí (odvozováním). Je zastřešujícím (nejobecnějším) představitelem '''exaktního světa'''. Vzniknul „cestou zdola“ postupným zobecňováním myšlenek a problémů formální logiky, Chomského formálních gramatik a jejich vztahu k Turingovým exaktním strojům – automatům. Idea formálního systému je dílem E.L.Posta amerického matematika polského původu, inspirovaná pracemi A. N. Whiteheada a B. Russella a dalšími.<ref name=":0"
| příjmení = Křemen
| jméno = Jaromír
Řádek 15 ⟶ 16:
| isbn2 = 80-200-1477-2
| oclc = 189425641
}} </ref>
▲== Exaktní svět ==
▲[[Umělý formální systém]], je tvořen umělým [[formální jazyk| formálním jazykem]] s inferencí (odvozováním). Je zastřešujícím (nejobecnějším) představitelem '''exaktního světa'''. Vzniknul „cestou zdola“ postupným zobecňováním myšlenek a problémů formální logiky, Chomského formálních gramatik a jejich vztahu k Turingovým exaktním strojům – automatům. Idea formálního systému je dílem E.L.Posta amerického matematika polského původu, inspirovaná pracemi A. N. Whiteheada a B. Russella a dalšími.<ref name=":0" />
Ve formálním systému důsledně rozlišujeme část
|