Logica voor informatica, 3/e

Auteur: Benthem Van, Hans P. van Ditmarsch

25,⁶⁰

Op werkdagen voor 15:00 besteld, dezelfde dag verzonden

Informatie over de kwaliteit

25,⁶⁰

2de hands - Goed

26,⁹⁵

2de hands - Redelijk

Gratis verzending vanaf 4 boeken of 40 euro
Op werkdagen voor 15:00 besteld, dezelfde dag verzonden
Alle boeken zijn met de hand gecontroleerd

Beschrijving

In de eerste helft van Logica voor Informatica staan de standaardsystemen van de propositielogica en de predikaatlogica cent… Meer
Eigenschappen
Recensies (0)

Logica voor informatica, 3/e

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, programmeercorrectheid, logisch programmeren, complexiteit, tijdslogica en multi-agentsystemen aan de orde komen. Het boek besluit met aan aantal terreinverkenningen voor de toekomst.

Eigenschappen Logica voor informatica, 3/e (9789043007221)

ISBN:	9789043007221
Bindwijze:	Paperback
Conditie:	Goed
Taal:	Overig
Auteur(s):	Benthem Van, Hans P. van Ditmarsch
Uitgever:	Pearson Benelux B.V.
Jaar van uitgifte:	2003
Pagina's:	368