WINKELWAGEN

Thuis en op het werk Computerboeken Management Algemeen Voor Dummies Free stuff Downloads   Studieboeken Economie, management, marketing en recht Informatica Techniek Communicatie en communicatieve vaardigheden Wiskunde en statistiek Basisrekenen Basiswiskunde Logica Maple Statistiek Psychologie en sociologie Studievaardigheden en loopbaanontwikkeling Vertegenwoordigers   Pearson Longman ELT   Nieuwsbrief Schrijf u in   Informatie Zoektips Algemene voorwaarden FAQ's Geef ons feedback Home > Exacte wetenschappen > Logica > Product informatie 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 ISBN-13 ISBN-10 9789043007221 9043007226 verschenen op 20-03-2003 Uitvoering: pb Aantal pagina's 368 Prijs: € 35.95   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 Inleiding Blok II Propositielogica Propositielogica: syntaxis en semantiek Propositielogica: geldig gevolg Propositielogica: afleidingen Propositielogica: metatheorie Blok III Predikaatlogica Predikaatlogica: taal Predikaatlogica: semantiek Predikaatlogica: eenvoudige theorie Predikaatlogica: semantische tableaus Predikaatlogica: afleidingen Predikaatlogica: metatheorie Blok IV Voorbij de predikaatlogica Voorbij de predikaatlogica Modale logica Blok V Logica en programmeren Logica en berekenbaarheid Logica en imperatief programmeren Logisch programmeren Model checking Blok VI Logica en kunstmatige intelligentie Tijdslogica Multi-actorsystemen Verwerking van natuurlijke taal Blok VII Tot besluit Terugblik Appendices Algemene begrippen Historisch overzicht Literatuurlijst