> > > > > logica-voor-informatica-3e

Benthem B.J. Van - Logica Voor Informatica, 3/e

Het boek Logica Voor Informatica, 3/e van de auteur Benthem B.J. Van is 1 maal gevonden, 0 maal nieuw en 1 maal tweedehands. "Logica Voor Informatica, 3/e" is tweedehands te koop vanaf € 32,25 bij Bol.com.

Tweedehands (1) vanaf € 32,25 bij Bol.com Toon 1 tweedehands boek
Bent u de schrijver van dit boek of weet u iets over deze auteur?

Omero.nl is druk bezig om informatie over auteurs toe te voegen. Neem contact met ons op via support@omero.nl om een auteursprofiel aan te maken met een foto, biografie, website adres en sociale media links.
Tweedehands
We hebben 1 tweedehands advertentie gevonden
Aanbieder
Bol.com
ISBN
9789043007221
   
Soort boek
Paperback


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.
 Prijs
€ 32,25 		Bekijk boek


Andere populaire boeken van Benthem B.J. Van
We hebben meer boeken van de Auteur gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Twee Eeuwen Tafelzilver Dr2

ISBN: 9789040099144


Bekijk boek

Nieuw (0)
Tweedehands (1)
€ 31,00
Bekijk hier alle boeken van Benthem B.J. Van