Logica voor informatici

Logica voor informatici

In de eerste helft van Logica voor informatica staan de standaardsystemen van de propositielogica en de predikaatlogica centraal. De propositielogica richt zich op de structuur van beweringen met zogenaamde Boolese operatoren. De predikaatlogica richt zich op beweringen met zogenaamde kwantificerende uitdrukkingen. De tweede helft van het boek behandelt modale logica en toepassingen van de logica in de informatica en in de kunstmatige intelligentie, waarbij onder andere de semantiek van imperatieve programmeertalen, programmacorrectheid, logisch programmeren, niet-monotoon redeneren en intervalnetwerken aan de orde komen.

Auteur | J.F.A.K. van Benthem
Taal | Nederlands
Type | Paperback
Categorie | Gezin & Relaties

bol logo

Kijk verder

Boekomslag voor ISBN: 9789055601356
Boekomslag voor ISBN: 9781292061184
Boekomslag voor ISBN: 9780072465631
Boekomslag voor ISBN: 9780486805085
Boekomslag voor ISBN: 9781575865980


Boekn ©