Logica voor informatici

Name: Logica voor informatici
Author: J.F.A.K. van Benthem

Auteur: J.F.A.K. van Benthem

Taal: Nederlands

Afbeeldingen

Artikel vergelijken

Vergelijk met andere artikelen

Bekijk nu

Auteur: J.F.A.K. van Benthem J. Ketting

Co-auteur: Hans P. van Ditmarsch

Nederlands
Paperback
9789067894845
336 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, programmacorrectheid, logisch programmeren, niet-monotoon redeneren en intervalnetwerken aan de orde komen.

Productspecificaties

Inhoud

Taal: nl
Bindwijze: Paperback
Aantal pagina's: 336
Illustraties: Met illustraties

Betrokkenen

Hoofdauteur: J.F.A.K. van Benthem
Tweede Auteur: J. Ketting
Co Auteur: Hans P. van Ditmarsch
Hoofduitgeverij: Pearson Benelux

Overige kenmerken

Editie: 1
Product breedte: 10 mm
Product hoogte: 10 mm
Product lengte: 10 mm
Studieboek: Nee
Verpakking breedte: 172 mm
Verpakking hoogte: 20 mm
Verpakking lengte: 242 mm
Verpakkingsgewicht: 576 g

EAN

EAN: 9789067894845

Je vindt dit artikel in

Categorieën: Gezin & Relaties

Ouderschap & Opvoeding

Babynamen

Boeken
Boek, ebook of luisterboek?: Boek
Taal: Nederlands
Beschikbaarheid: Leverbaar
Studieboek of algemeen: Algemene boeken

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.