Co-auteurs: 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.

Extra informatie: Ingenaaid: paperback,kaft slap, 360 pagina's Verschenen: maart 2003 Gewicht: 616 gram Formaat: 242 x 172 x 21 mm Pearson Education Benelux B.V.

Bekijk de achterkant

, Logica voor informatica Prijs Euro 41.50   In Winkelwagentje

Bij u in huis op: woensdag

Populaire titels binnen deze rubriek: Douwes, Douwe Jan / Grasmeijer, Jaap Basisvaardigheden Wiskunde voor het HTO H. Schouppe, E. Schouppe Gestructureerd programmeren in Excel VBA - 2e druk Groenendijk, B. Databases en Access 2007 + CD-ROM van ontwerp tot professioneel gebruik J. Smets, F. Willemsen Office 2010 computervaardigheid Udo, R. Het chemisch practicum een laboratoriumhandboek Tom Dorissen, Wolfgang Jacquet, Gert Sonck Wiskundige basisvaardigheden een survivalkit voor een succesvolle start in het hoger onderwijs S. van Vugt Leerboek Linux, vierde druk Deel 2 - Netwerkbeheer, beveiliging, tuning McClave, James / Benson, George / Sincich, Terr Statistiek een inleiding , L.J.M. van Moergestel Computersystemen en embedded systemen D.P.G. van As, J. Klouwen, L.J. van de Leur Levensverzekeringswiskunde en pensioencalculatie Breedveld, A. Productmodelleren met SolidWorks 2009 Jonas Rubrech Interpersoonlijke vaardigheden voor ICT\'ers Brom-Snijders, P. van der RekenWijzer T. de Rooij Databases en SQL 4e druk Gillenson, M.L. Inleiding Database managementsystemen B. de Leeuw, L. van der Meer Softwarearchitectuur met Oracle Pols, R. van der Strategisch beheer van informatiesystemen Wiegerink, L. / Bijpost, J. / Groot, Margriet d Relationele databases en SQL Schreuder Peters, R.P.I.J. Methoden & Technieken van Onderzoek principes en praktijk Bell, Doug / Parr Java voor studenten + cd-rom