ISBN: 9789055601356
Bekijk boek
A. Van Benthem - Logica Voor Informatici
Het boek Logica Voor Informatici van de auteur A. Van Benthem is 1 maal gevonden, 0 maal nieuw en 1 maal tweedehands. "Logica Voor Informatici" is tweedehands te koop vanaf € 39,95 bij Bol.com.
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.
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
9789067894845
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, programmacorrectheid, logisch programmeren, niet-monotoon redeneren en intervalnetwerken aan de orde komen.
|
Prijs
€ 39,95 |
Bekijk boek |
Andere populaire boeken van A. Van Benthem
We hebben meer boeken van de Auteur A. Van Benthem gevonden. Hieronder ziet u de 3 boeken waar het meeste aanbod van is.
Nieuw (0)
Tweedehands (1)
€ 19,80
€ 19,80
Nieuw (0)
Tweedehands (1)
€ 9,99
€ 9,99
Nieuw (1)
€ 8,00
€ 8,00
Tweedehands (0)