• 30 dagen retourgarantie
  • Gratis verzending vanaf €40,- of 4 boeken
  • Alle boeken met zorg gecontroleerd
Naar de startpagina
Naar de startpagina
Bestellen

Logica voor informatica, 3e editie

Auteur Benthem van
component.cms.imageGallery.skipImageGallery
Logica voor informatica, 3e editie
Logica voor informatica, 3e editie achterkant
Maak tweedehands je eerste keus
3+1 actie
Niet op voorraad... Seintje? Vul je e-mail adres in en wij sturen je een e-mail als het boek weer op voorraad is.
ISBN
9789043007221
Bindwijze
Paperback
Taal
Nederlands , Overig
Auteur
Benthem van
Uitgeverij
Pearson Benelux
Jaar van uitgifte
2003
Aantal pagina's
360

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

Basisboek Wiskunde / Basisboeken
Jan van de Craats
Basisboek Wiskunde / Basisboeken
3+1 actie
10,45
Basisboek Wiskunde / Basisboeken
Jan van de Craats
Basisboek Wiskunde / Basisboeken
3+1 actie
9,80
Basisboek wiskunde
Jan van de Craats
Basisboek wiskunde
Veel verkocht
3+1 actie
14,55
Applicatiebeheer volgens ASL / ICT-reeks
P. Janssen
Applicatiebeheer volgens ASL / ICT-reeks
3+1 actie
30,25
DSDM - de methode in de praktijk, 2e editie
J. Stapleton
DSDM - de methode in de praktijk, 2e editie
3+1 actie
13,00
En dan is er ... Java, 2e
G. Laan
En dan is er ... Java, 2e
50% korting
3+1 actie
6,55 3,27
Basisboek Wiskunde / Basisboeken
Jan van de Craats
Basisboek Wiskunde / Basisboeken
3+1 actie
10,45
Basisboek Wiskunde / Basisboeken
Jan van de Craats
Basisboek Wiskunde / Basisboeken
3+1 actie
9,80
Basisboek wiskunde
Jan van de Craats
Basisboek wiskunde
Veel verkocht
3+1 actie
14,55
Applicatiebeheer volgens ASL / ICT-reeks
P. Janssen
Applicatiebeheer volgens ASL / ICT-reeks
3+1 actie
30,25
DSDM - de methode in de praktijk, 2e editie
J. Stapleton
DSDM - de methode in de praktijk, 2e editie
3+1 actie
13,00
En dan is er ... Java, 2e
G. Laan
En dan is er ... Java, 2e
50% korting
3+1 actie
6,55 3,27

Anderen bekeken ook

Applying UML and Patterns
Larman Craig
Applying UML and Patterns
3+1 actie
16,20
Introduction To Computer Security
Michael Goodrich, Roberto Tamassia
Introduction To Computer Security
Geef me een seintje