Onze boeken

Logica voor informatici (Tweede editie)

Door J.F.A.K. van - en anderen Benthem

Categorie
Algemeen wetenschap
Boeknummer
#350073-ZB2
Titel
Logica voor informatici (Tweede editie)
Auteur
Benthem, J.F.A.K. van - en anderen
Boektype
Paperback
Druk
2e druk
Uitgeverij
Heerlen : Open Universiteit
Jaar van uitgave
1994
ISBN10
9067894842
ISBN13
9789067894845
Taal
Nederlands
Beschrijving
Paperback, 8vo.
Samenvatting
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, niet-monotoon redeneren en intervalnetwerken aan de orde komen.
Pagina's
336
Conditie
Goed
Prijs
€ 20,00

Zie ook

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