Dostupnosť: Posledných pár kusov na externom sklade
DO WISHLISTU
Pridať do zoznamu
O knihe: Úvod do logiky pre informatikov
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 susedných svetov.
