Benthem Van, Hans P. van Ditmarsch - Logica voor informatica, 3
Schrijver: | Benthem Van, Hans P. van Ditmarsch |
---|---|
Titel: | Logica voor informatica, 3/e |
ISBN: | 9789043007221 |
Uitgever: | Pearson Benelux B.V. |
Bijzonderheden: | Conditie: Goed |
Prijs: | € 18,80 |
Verzendkosten: | € 2,95 (binnen Nederland) |
Meer info: |
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, programmeercorrectheid, logisch programmeren, complexiteit, tijdslogica en multi-agentsystemen aan de orde komen. Het boek besluit met aan aantal terreinverkenningen voor de toekomst.
|
Als u op één van onze aanbiedingen klikt dan opent de aanbieding in onze webshop waar u het boek kan bestellen en afrekenen. Het is niet mogelijk boeken af te halen.
- Meer dan 500.000 boeken op voorraad in ons magazijn in Rotterdam.
- Op werkdagen voor 15:00 besteld, dezelfde dag verzonden.
- Stevig verpakt
- Verzendkosten €2,95. Gratis verzenden vanaf 40 euro of 4 boeken
- We verzenden ook naar België. Zendingen naar België kunnen er enkele dagen over doen.
- Alle boeken zijn met zorg gecontroleerd
- Meer dan 500.000 boeken op voorraad in ons magazijn in Rotterdam.
- Op werkdagen voor 15:00 besteld, dezelfde dag verzonden.
- Stevig verpakt
- Verzendkosten €2,95. Gratis verzenden vanaf 40 euro of 4 boeken
- We verzenden ook naar België. Zendingen naar België kunnen er enkele dagen over doen.
- Alle boeken zijn met zorg gecontroleerd
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.