Beschrijving
Titel: Logica voor informatica, 3/e Auteur: Benthem Van, Hans P. van Ditmarsch ISBN: 9789043007221 Conditie: Used 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.
Waarom je bij BoekenBalie moet zijn voor al je tweedehands boeken:
Bestel je voor 15:00 uur? Dan vliegt het dezelfde dag nog jouw kant op!
Meer dan 400.000 tweedehands boeken om uit te kiezen
We checken alle boeken eigenhandig
Vanaf 40 euro of bij 4 boeken is de verzending op onze rekening
30 dagen retourgarantie
Kenmerken: Kopen in Rotterdam
