Logica voor informatica, 3/e
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Benthem Van
Hans P. van Ditmarsch
Co-auteur:
Hans van Ditmarsch
J.S. Lodder
- Nederlands
- Paperback
- 9789043007221
- 15 maart 2003
- 368 pagina's
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, programmeercorrectheid, logisch programmeren, complexiteit, tijdslogica en multi-agentsystemen aan de orde komen. Het boek besluit met aan aantal terreinverkenningen voor de toekomst.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- nl
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 15 maart 2003
- Aantal pagina's
- 368
- Kaarten inbegrepen
- Nee
- Illustraties
- Nee
Betrokkenen
- Hoofdauteur
- Benthem Van
- Tweede Auteur
- Hans P. van Ditmarsch
- Co Auteur
- J.S. Lodder
- Hoofduitgeverij
- Pearson Benelux B.V.
Overige kenmerken
- Editie
- 1
- Extra groot lettertype
- Nee
- Product breedte
- 10 mm
- Product hoogte
- 10 mm
- Product lengte
- 10 mm
- Studieboek
- Ja
- Verpakking breedte
- 170 mm
- Verpakking hoogte
- 20 mm
- Verpakking lengte
- 240 mm
- Verpakkingsgewicht
- 610 g
EAN
- EAN
- 9789043007221
Je vindt dit artikel in
- Categorieën
- Boek, ebook of luisterboek?
- Boek
- Taal
- Nederlands
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Editie
: 1
Prijsinformatie en bestellen
Vaak samen gekocht
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.