Úvod » Kategórie » Matematika a fyzika » Úvod do logiky pre informatikov


        

Úvod do logiky pre informatikov

img

 

Číslo produktu: 141
autor: Vladimír Kvasnička
vydavateľstvo: PhDr. Milan Štefanko – IRIS
ISBN: 978-80-8153-059-3
rok vydania: 2016
počet strán: 198
väzba: brož.
formát: A4
bežná cena 19,90 EUR
naša cena bez DPH: 13,55 EUR
naša cena s DPH (10 %):
14,90 EUR

do košíka:
  ks  

Logika má nezastupiteľné miesto nielen pri algoritmizácii procesov usudzovania, ale je aj generátor nových koncepcií, ktoré zohrali dôležitú úlohu pri rozvoji počítačovej vedy (infor­matiky).

Kniha je venovaná prezentácii moderných základov logiky pre potreby informatikov, ktorí premýšľajú nad možnosťami simulácie ľudskej mysle informatickými prostriedkami. Prezentujú sa v nej nielen základy klasickej logiky (t. j. výrokovej a predikátovej logiky), ale aj základné pojmy modálnej logiky s dôrazom na kripkeovskú, sémantickú interpretáciu pomocou susedných svetov.

 

 

 

NÁZORY A OTÁZKY NÁVŠTEVNÍKOV

Nebol zatiaľ pridaný žiadny názor. Pridajte svoj názor alebo dotaz ako prvý.

YjEwN2MzOW