ISBN 90-430-0722-6
            Prijs: 30.00
            Uitvoering:
            Aantal pagina's 368
            verschijnt binnenkort

Logica voor informatica, derde editie  
                    
J.F.A.K. van Benthem, H.P. van Ditmarsch, J. Ketting, J.S. Lodder, W.P.M. Meyer-Viol
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, model checking, tijdslogica en multi-actorsystemen (multi-agent systems) aan de orde komen. Het boek besluit met een aantal terreinverkenningen voor de toekomst.
Het boek is gericht op de eerste jaren van academische en HBO-studieprogramma's op technisch gebied, maar is ook los van studieprogramma's te gebruiken. Er wordt voorkennis van de wiskunde verondersteld, in het bijzonder kennis van verzamelingen, functies, relaties en bomen. Een overzicht van de vereiste voorkennis is in een bijlage opgenomen. Logica voor informatica (voorheen Logica voor informatici) is in eerste instantie ontwikkeld door de Open Universiteit en de Universiteit van Amsterdam.

Bezoek ook de companion website op pearsoneducation.nl/vanbenthem.

KEY FEATURES:
  • Duidelijke inleiding in een ingewikkeld vakgebied
  • Met name bedoeld voor informatici, maar ook geschikt voor andere disciplines
  • Bevat overzicht van de vereiste voorkennis
INHOUDSOPGAVE:

Blok I Inleiding
  1. Inleiding
Blok II Propositielogica
  1. Propositielogica: syntaxis en semantiek
  2. Propositielogica: geldig gevolg
  3. Propositielogica: afleidingen
  4. Propositielogica: metatheorie
Blok III Predikaatlogica
  1. Predikaatlogica: taal
  2. Predikaatlogica: semantiek
  3. Predikaatlogica: eenvoudige theorie
  4. Predikaatlogica: semantische tableaus
  5. Predikaatlogica: afleidingen
  6. Predikaatlogica: metatheorie
Blok IV Voorbij de predikaatlogica
  1. Voorbij de predikaatlogica
  2. Modale logica
Blok V Logica en programmeren
  1. Logica en berekenbaarheid
  2. Logica en imperatief programmeren
  3. Logisch programmeren
  4. Model checking
Blok VI Logica en kunstmatige intelligentie
  1. Tijdslogica
  2. Multi-actorsystemen
  3. Verwerking van natuurlijke taal
Blok VII Tot besluit
  1. Terugblik
Appendices
  1. Algemene begrippen
  2. Historisch overzicht
Literatuurlijst