Grundlagen des maschinellen Beweisens Eine Einführung für Informatiker und Mathematiker
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Auteur:
Dieter Hofbauer
Ralf-Detlef Kutsche
- Duits
- Paperback
- 9783528047184
- 01 januari 1989
- 172 pagina's
Samenvatting
Dieses Buch ist entstanden aus einer Lehrveranstaltung, die wir in den Jahren 1987 und 1988 konzipiert und weiterentwickelt haben. Sie ist an der Technischen Universitlit Berlin unter dem Namen LOGIK II fUr Informatiker: Grundlagen des maschinellen Beweisens Bestandteil des Lehrangebots in Theoretischer Informatik und schlieBt direkt an die WGIK fUr Informatiker: F ormalisieren und Beweisen an. Das Buch richtet sich somit in erster Linie an fortgeschrittene Student(inn)en im Informatik- Hauptstudium, aber auch ganz allgemein an Wissenschaftler(innen) in Informatik und Mathematik, die sich fUr die logischen Grundlagen des maschinellen Theorembeweisens und die ersten Schritte zu deren Anwendung interessieren. Eine Reihe wichtiger englischsprachiger BUcher in diesem Themenfeld -wenn auch mit sehr unterschiedlichen Schwerpunktsetzungen -ist seit dem Beginn der 70er Jahre entstanden, U. a. Chang & Lee [CL73], Loveland [Lov78], Boyer & Moore [BM79], Bibel [Bib82/87], Bundy [Bun83], Wos, Overbeek, Lusk & Boyle [WOLB84], Gallier [GaI86], Genesereth & Nilsson [GN87] und Padawitz [Pad88]; in deutscher Sprache etwa Bllisius & BUrckert [BB87] oder Richter [Rich89]. Wir verstehen unser Buch als Erglinzung solcher BUcher fUr den deutschen Sprachraum mit dem Ziel, eine eher mathematisch orientierte Einflihrung in diese Thematik zu geben. Wir knUpfen an Grundkenntnisse der Logik an und stellen daher die spliter benotigten Begriffe in Kapitell nur in gestraffter Form bereit. Einen ersten Schwerpunkt bildet in Kapitel 2 die Resolution, ein handlicher AbleitungskalkUl, der die Prlidikatenlogik erster Stufe prinzipiell dem Rechner zuglinglich macht.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- de
- Bindwijze
- Paperback
- Oorspronkelijke releasedatum
- 01 januari 1989
- Aantal pagina's
- 172
- Illustraties
- Met illustraties
Betrokkenen
- Hoofdauteur
- Dieter Hofbauer
- Tweede Auteur
- Ralf-Detlef Kutsche
- Hoofduitgeverij
- Vieweg+Teubner Verlag
Overige kenmerken
- Editie
- 1989 ed.
- Extra groot lettertype
- Nee
- Product breedte
- 170 mm
- Product lengte
- 244 mm
- Studieboek
- Ja
- Verpakking breedte
- 170 mm
- Verpakking hoogte
- 244 mm
- Verpakking lengte
- 244 mm
- Verpakkingsgewicht
- 329 g
EAN
- EAN
- 9783528047184
Je vindt dit artikel in
- Categorieën
- Taal
- Duits
- Boek, ebook of luisterboek?
- Boek
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Paperback
Prijsinformatie en bestellen
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.