• 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • 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
  • 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • Alle boeken met zorg gecontroleerd
  • Voor 15:00u besteld, dezelfde dag verzonden
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

Continuous Development / Continuous Everything
Continuous Development / Continuous Everything
25% korting
49,65 37,24
Bedrijfsgedichten
Bedrijfsgedichten
25% korting
10,65 7,99
Aan de slag met scrum
Aan de slag met scrum
Tweedehands Beetje gebruikt
20,85
Wiskunde voor bedrijfseconomen
Wiskunde voor bedrijfseconomen
Tweedehands Echt gebruikt
25,05
Wiskunde voor bedrijfseconomen
Wiskunde voor bedrijfseconomen
Tweedehands Als nieuw
35,80
Basisboek wiskunde
Basisboek wiskunde
Veel verkocht
23,45
Continuous Development / Continuous Everything
Continuous Development / Continuous Everything
25% korting
49,65 37,24
Bedrijfsgedichten
Bedrijfsgedichten
25% korting
10,65 7,99
Aan de slag met scrum
Aan de slag met scrum
Tweedehands Beetje gebruikt
20,85
Wiskunde voor bedrijfseconomen
Wiskunde voor bedrijfseconomen
Tweedehands Echt gebruikt
25,05
Wiskunde voor bedrijfseconomen
Wiskunde voor bedrijfseconomen
Tweedehands Als nieuw
35,80
Basisboek wiskunde
Basisboek wiskunde
Veel verkocht
23,45

Anderen bekeken ook

Applying UML and Patterns
Applying UML and Patterns
40,40
Introduction To Computer Security
Introduction To Computer Security
Geef me een seintje