Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Door een staking bij bpost kan je online bestelling op dit moment iets langer onderweg zijn dan voorzien. Dringend iets nodig? Onze winkels ontvangen jou met open armen!
- Afhalen na 1 uur in een winkel met voorraad
- Gratis thuislevering in België vanaf € 30
- Ruim aanbod met 7 miljoen producten
Omschrijving
Dieses Buch ist aus Skripten der Autoren zu ihrer Vorlesung "Mathe- matische Logik (fUr Informatiker)" entstanden. Diese sechssttindige Lehrveranstaltung, die seit dem Sommersemester 1974 jahrlich an der Technischen Universitat Berlin im Fachbereich Informatik ab- gehalten wird, will Informatik-Studenten etwa yom 4. Semester an mit Logik-Methoden vertraut machen und gleichzeitig einen" Bei- trag zur Mathematik-Ausbildung fUr Informatiker leisten. Dement- sprechend handelt es sich urn einen einfUhrenden Text fUr "krasse" Anfanger in der Logik, der mit elementaren Mathematik -Kenntnissen lesbar ist und an Informatik-Voraussetzungen nur einfachste Kon- zepte von Programmiersprachen benotigt. Anliegen des Buches, das sich gleichermaBen an Mathematik- und Informatik-Studenten wen- det, ist es, einerseits eine mathematisch zufriedenstellende Darstellung der Anfangsgrtinde der Pradikatenlogik der ersten Stufe zu geben, andererseits aber auch Anwendungen dieser Logik innerhalb der Informatik einheitlich in die Logik-Darstellung einzubeziehen. Der Versuch, ein Buch tiber Logik mit Informatik-Anwendungen zu schreiben, ist nicht ohne Probleme, da die Auswahl der Verbin- dungen von Logik und Informatik eine subjektive Entscheidung bleibt, so daB tiber den hier vorliegenden Text hinaus Raum fUr andere Bertihrungspunkte und fUr eine intensivere Gestaltung der hier im Text angefUhrten Anwendungen besteht. Man kann dabei z. B. an engere Verbindungen zur theoretischen Informatik denken oder an eine systematische Abhandlung der angesprochenen Anwen- dungsgebiete. Dieser Text will dazu anregen, Informatik und Lo- gik so aufeinander zu beziehen, daB Logik als Hilfsmittel fUr die Informatik angesehen werden darf, d. h. als eine fruchtbare, Infor- matik-Ergebnisse hervorbringende Methode.
Specificaties
Betrokkenen
- Auteur(s):
- Uitgeverij:
Inhoud
- Aantal bladzijden:
- 326
- Taal:
- Duits
- Reeks:
- Reeksnummer:
- nr. 187
Eigenschappen
- Productcode (EAN):
- 9783540082026
- Verschijningsdatum:
- 1/07/1977
- Uitvoering:
- Paperback
- Formaat:
- Trade paperback (VS)
- Afmetingen:
- 133 mm x 203 mm
- Gewicht:
- 362 g
Alleen bij Standaard Boekhandel
+ 98 punten op je klantenkaart van Standaard Boekhandel
E-BOOK ACTIE
Beoordelingen
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.