Onze boeken

Logica: een inleiding met toepassingen in de informatica

Door S.C. van - en anderen Westrhenen

Categorie
Algemeen wetenschap
Boeknummer
#350229-ZB5
Titel
Logica: een inleiding met toepassingen in de informatica
Auteur
Westrhenen, S.C. van - en anderen
Boektype
Paperback
Uitgeverij
Schoonhoven : Academic Service
Jaar van uitgave
1993
ISBN10
9062333214
ISBN13
9789062333219
Taal
Nederlands
Beschrijving
Paperback, 8vo.
Samenvatting
De laatste twintig jaar is de belangstelling voor mathematische logica enorm toegenomen. Deze belangstelling komt niét alleen vanuit de wiskunde, maar ook vanuit de filosofie, linguïstiek, natuurkunde en informatica. In elk van de genoemde disciplines is gebleken dat logica een nuttig formalisme is ter modellering van theorieën en verschijnselen.
Het doel van dit boek is een solide inleiding te geven in de logica. Deze omvat de traditionele begrippen en de bekende resultaten uit de klassieke propositie- en predikatenlogica. Daarnaast worden in dit boek toepassingen in de informatica behandeld, te weten de calculus van Hoare ten behoeve van het geven van correctheidsbewijzen van computerprogramma's, het automatisch bewijzen van stellingen met behulp van resolutie, en het g... (Lees verder)ebruik van logica als programmeertaal (logic programming). v
De stof wordt toegelicht aan de hand van een groot aantal uitgewerkte voorbeelden. Om de lezer tot zelfwerkzaamheid aan te zetten, zijn aan het eind van ieder hoofdstuk opgaven opgenomen. Door deze opzet is het boek geschikt als leerboek bij inleidende colleges op universitair niveau of bij hogere-jaars-cursussen op HBO- niveau. Ook kan het boek worden gebruikt voor zelfstudie.
De auteurs zijn werkzaam bij de groep Theoretische Informatica aan de Faculteit der Technische Wiskunde en Informatica van de Technische Universiteit Delft Als hoogleraar van deze groep verzorgde S. C. van Westrhenen onder andere colleges op het gebied van de logische grondslagen van Kunstmatige Intelligentie. * J. F. M. Tonino heeft als universitair docent vele jaren ervaring in het geven van logica-onderwijs aan informaticastudenten. R. Sommerhalder, die universitair hoofddocent is, heeft als specialisme het gebied van Logic Programming In samenwerking met de eerstgenoemde auteur schreef hij enkele jaren geleden een monografie over berekenbaarheid en complexiteitstheorie.
Pagina's
361
Conditie
Goed
Prijs
€ 10,00

Zie ook

Onze gebruikte boeken verkeren in goede tweedehands staat, tenzij hierboven anders beschreven. Kleine onvolkomenheden zijn niet altijd vermeld.