Kniha je venovaná prezentácii moderných základov logiky pre potreby informatikov. V knihe sa prezentujú nielen základy klasickej logiky ale aj základné pojmy modálnej logiky s dôrazom na kripkeovskú, sémantickú interpretáciu pomocou ...
Od tretieho vydania tejto knihy uplynulo desať rokov. Odvtedy sa veľa zmenilo, vyšlo veľa nových kníh a štúdií z logiky a logickej sémantiky, ktoré obsahujú nové objavy z tejto oblasti. Nové reálie prinútili autora zmeniť niektoré príklady ...
Cieľovou skupinou, pre ktorú táto učebnica vznikla, sú predovšetkým študenti a záujemcovia o spoločenskovedné a humanitné disciplíny. Formálny výklad jednotlivých logických systémov sa preto dopĺňa neformálnym vysvetlením základných ideí a ...
Dostupnost:
4 pracovní dnyi
-7% sleva
349 Kč
325 Kč
i Webové stránky používají pro správné fungování soubory cookies. Více informací.
