Loading...

Logica voor informatici

J.F.A.K. van Benthem

  • Bindwijze: Paperback
  • Taal: nl
  • Categorie: Gezin & Relaties
  • ISBN: 9789067894845
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
Co Auteur:Hans P. van Ditmarsch
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
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

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.