• Voor 15:00 besteld, dezelfde werkdag verzonden
  • Gratis verzending vanaf €40,- of 4 boeken
  • Alle boeken met zorg gecontroleerd
Naar de startpagina
Naar de startpagina
Bestellen

Logica voor informatica, 3/e

Auteur Benthem Van, Hans P. van Ditmarsch
Logica voor informatica, 3/e
Logica voor informatica, 3/e achterkant
Maak tweedehands je eerste keus
  • Tot en met 29 september 4=3 op alles
  • Alle boeken zijn met de hand gecontroleerd
  • 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • Op werkdagen voor 15:00 besteld, dezelfde dag verzonden
4=3 actie
Sorry, niet op voorraad
ISBN
9789043007221
Bindwijze
Paperback
Taal
Nederlands , Overig
Auteur
Benthem Van, Hans P. van Ditmarsch
Uitgeverij
Pearson Benelux B.V.
Jaar van uitgifte
2003
Aantal pagina’s
368

Waar gaat het over?

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.
Lees verder

Recensies

0 recensies

Meer in Exacte vakken en informatica HOGER ONDERWIJS

Solid modeling met autodesk inventor 2015
Jan Bootsma
Solid modeling met autodesk inventor 2015
4=3 actie
nog 1 op voorraad
10,85
Producttekenen En Documenteren Van 3D Na
A. Breedveld
Producttekenen En Documenteren Van 3D Na
4=3 actie
nog 1 op voorraad
9,80
Leerboek OO-programmeren in Java mmv BlueJ
G. Laan
Leerboek OO-programmeren in Java mmv BlueJ
4=3 actie
nog 1 op voorraad
8,00
Het SQL leerboek
Rick F. van der Lans
Het SQL leerboek
4=3 actie
nog 1 op voorraad
22,90
Inleiding Database managementsystemen
M.L. Gillenson
Inleiding Database managementsystemen
4=3 actie
36,65
Inleiding Database managementsystemen
M.L. Gillenson
Inleiding Database managementsystemen
4=3 actie
39,40
Solid modeling met autodesk inventor 2015
Jan Bootsma
Solid modeling met autodesk inventor 2015
4=3 actie
nog 1 op voorraad
10,85
Producttekenen En Documenteren Van 3D Na
A. Breedveld
Producttekenen En Documenteren Van 3D Na
4=3 actie
nog 1 op voorraad
9,80
Leerboek OO-programmeren in Java mmv BlueJ
G. Laan
Leerboek OO-programmeren in Java mmv BlueJ
4=3 actie
nog 1 op voorraad
8,00
Het SQL leerboek
Rick F. van der Lans
Het SQL leerboek
4=3 actie
nog 1 op voorraad
22,90
Inleiding Database managementsystemen
M.L. Gillenson
Inleiding Database managementsystemen
4=3 actie
36,65
Inleiding Database managementsystemen
M.L. Gillenson
Inleiding Database managementsystemen
4=3 actie
39,40

Anderen bekeken ook

Introduction To Computer Security
Michael Goodrich, Roberto Tamassia
Introduction To Computer Security
sorry, niet op voorraad
Applying UML and Patterns
Craig Larman
Applying UML and Patterns
sorry, niet op voorraad