
	computercollectief	comcol.nl
	computerboeken & software	computerboeken

	home	producten	verwacht	koopjes	licenties	nieuwsbrief	dealer-info	contact	winkelwagen
	zoeken	nieuw	thema's	acties	hoe bestellen	faq	winkels	over ons	afrekenen


	computerboeken » algemeen of platformonafhankelijk » theorie » theorie » logica

Logica voor informatica, derde editie

Pearson Education Benelux | 2003 | 360 blz. | J.F.A.K. van Benthem, et al.

Dit boek (voorheen Logica voor informatici) is gericht op de eerste jaren van academische en hbo-studieprogramma's op technisch gebied

Leerboek voor gebruikers, geschikt voor beginners en gevorderden

onze prijs € 36,95 incl. BTW (€ 34,86 excl. BTW) — ISBN: 9789043007221 | 9043007226


		Verzendkosten slechts € 1,95 (voor bestellingen boven de 20 euro in Nederland, daaronder € 4,95)


							dit artikel bestellen		naar de kassa

	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 Booleaanse 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 o.a. 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. Kenmerken: duidelijke inleiding in een ingewikkeld vakgebied; met name bedoeld voor informatici, maar ook geschikt voor andere disciplines; bevat overzicht van de vereiste voorkennis.

	soort artikel	computerboeken
	ons bestelnummer	3285-F0
	titel	Logica voor informatica, derde editie
	onderwerp	logica
	uitgever	Pearson Education Benelux [PEAn t]
	website uitgever	www.pearsoneducation.nl
	ISBN-13	978-90-430-0722-1 \| 9789043007221
	ISBN-10	90-430-0722-6 \| 9043007226
	gepubliceerd in	2003
	geschreven door	J.F.A.K. van Benthem, et al.
	taal van het boek	Nederlands
	aantal bladzijden	360
	druk	derde druk
	uitvoering	softcover
	artikelcode fabrikant	978-90-430-0722-1
	barcode	9789043007221


	naar uitvoerig \| compact overzicht	Nog 1 ander boek over logica




		verzendkosten - verkoopvoorwaarden - privacyverklaring