Terug Terug

Logica voor informatica, 3/e

Name: Logica voor informatica, 3/e
Author: Benthem Van

Auteur: Benthem Van

Taal: Nederlands

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: Benthem Van Hans P. van Ditmarsch

Co-auteur: Hans van Ditmarsch J.S. Lodder

Nederlands
Paperback
9789043007221
15 maart 2003
368 pagina's

Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal: nl
Bindwijze: Paperback
Oorspronkelijke releasedatum: 15 maart 2003
Aantal pagina's: 368
Kaarten inbegrepen: Nee
Illustraties: Nee

Betrokkenen

Hoofdauteur: Benthem Van
Tweede Auteur: Hans P. van Ditmarsch
Co Auteur: J.S. Lodder
Hoofduitgeverij: Pearson Benelux B.V.

Overige kenmerken

Editie: 1
Extra groot lettertype: Nee
Product breedte: 10 mm
Product hoogte: 10 mm
Product lengte: 10 mm
Studieboek: Ja
Verpakking breedte: 170 mm
Verpakking hoogte: 20 mm
Verpakking lengte: 240 mm
Verpakkingsgewicht: 610 g

EAN

EAN: 9789043007221

Je vindt dit artikel in

Categorieën: Onderwijs & Didactiek

Computers & Informatica

Computertechnologie

Educatieve uitgaven

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Nederlands
Studieboek of algemeen: Studieboeken

Reviews

Nog geen reviews

Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.