Inleiding theoretische informatica / druk 2

Dit boek is in eerst instantie bedoeld als leerboek voor het HBO.
Bij de behandelde stof ligt de nadruk op de facetten van de logica en de discrete wiskunde die de basis vormen voor verschillende informaticavakken, zoals database en expertsystemen. Het boek behandelt dan ook een breed scala aan onderwerpen: verzamelingen, relaties en functies, grafen en bomen, propositielogica en predicatenlogica. Voorkennis van de praktische onderwerpen is niet vereist. Ook is geen diepgaande kennis van de wiskunde vereist, omdat de auteurs ernaar gestreefd hebben de stof op een informele, heldere manier duidelijk te maken. Deze eigenschappen en de vriendelijke schrijfstijl maken dit tot een uniek boek, dat ook voor zelfstudie te gebruiken is.