Extensions of First-Order Logic

a najít nejvýhodnější cenu za celou objednávku
Knihu koupíte v 1 e-shopu

Pokud se vám po kliknutí na tlačítko "Do obchodu" nezobrazí stránka knihy ve vybraném e-shopu, je třeba vypnout AdBlock ve vašem prohlížeči pro naši stránku. Návod na vypnutí je například na adrese https://o.seznam.cz/jak-vypnout-adblock/#1.

Extensions of First-Order Logic koupíte na Bookshop.cz
Bookshop.cz
2 250 Kč
Není skladem

Krátký popis
Classical logic has proved inadequate in various areas of computer science, artificial intelligence, mathematics, philosopy and linguistics. This is an introduction to extensions of first-order logic, based on the principle that many-sorted logic (MSL) provides a unifying framework in which to…

Zobrazit celý popis
Výběr knih vydavatele Cambridge University Press

Zobrazit všechny knihy vydavatele Cambridge University Press
Naše tipy


Řecké báje a pověsti
Dávné řecké báje a pověsti zrodila lidová fantazie starověkých Řeků v době, kdy lidé ještě neznali ani železný pluh. Vytvořil je génius slavného národa Helénů a obstály ve zkouškách tisíciletí.Jen těžko si lze představit kulturního člověka, který by nevěděl, kdo byli Heraklés nebo Prométheus, Afrodita či Europa, Kyklopové, Sirény, Múzy nebo hromovládný Zeus.Výběr z těchto bájí a pověstí zpracoval na počátku druhé poloviny minulého století spisovatel Eduard Petiška a čtenáři si knihu, napsanou velmi moderně, ale přitom s velkou úctou k tradici, oblíbili hlavně pro její poutavost a svěžest.Poprvé byla vydána v roce 1961 s ilustracemi Václava Fialy ve Státním nakladatelství dětské knihy, roku 1964 byla kniha rozšířena.V edici Drobek dílo vydáváme s původními ilustracemi.