Formalisieren und Beweisen - 8 Angebote vergleichen
Preise | 2016 | 2019 | 2020 | 2022 | 2023 |
---|---|---|---|---|---|
Schnitt | € 46,00 | € 54,18 | € 51,20 | € 34,60 | € 54,99 |
Nachfrage |
Formalisieren und Beweisen: Logik fï¿Â½r Informatiker Dirk Siefkes Author (1982)
ISBN: 9783528047573 bzw. 3528047577, vermutlich in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: Wirst Du jemals denken wie ein Mensch? Rechne mal nach! Der Computer rechnet und rechnet und gibt schließlich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. Fangt doch jeden Abschnitt mit einem Beispiel an, schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.
Formalisieren und Beweisen: Logik für Informatiker Dirk Siefkes Author (1982)
ISBN: 9783528047573 bzw. 3528047577, vermutlich in Deutsch, Vieweg+Teubner Verlag, Taschenbuch, neu.
Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erzählt in der Ein l leitung zu seinem Buch Geist und Natur eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: Wirst Du jemals denken wie ein Mensch? Rechne mal nach! Der Computer rechnet und rechnet und gibt schließlich aus: Dabei fallt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. Fangt doch jeden Abschnitt mit einem Beispiel an, schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik für Informatiker durchzuführen. Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Sätze. Deswegen beginnt jeder Teil dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einführung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logelei, die Offene Prädikatenlogik mit dem Architektenbeispiel und die volle Prädikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich fürs Verstehen sind. Deswegen sieht man beim Blättern so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tätigkeiten, und nicht Logik und Informatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollständigkeit, logische Theorie, Axiomensystem. Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.
Formalisieren Und Beweisen: Logik Fur Informatiker (1982)
ISBN: 9783528047573 bzw. 3528047577, in Deutsch, Vieweg+teubner Verlag, Taschenbuch, neu.
Perfect Paperback. 262 pages. Dimensions: 9.0in. x 6.4in. x 0.6in.Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: Wirst Du jemals denken wie ein Mensch Rechne mal nach! Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. Fangt doch jeden Abschnitt mit einem Beispiel an, schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik for Informatiker durchzufiihren. Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen. This item ships from multiple locations. Your book may arrive from Roseburg,OR, La Vergne,TN.
Formalisieren und Beweisen
ISBN: 9783528047573 bzw. 3528047577, in Deutsch, Vieweg+Teubner Verlag, neu, E-Book.
Computers, Gregory Bateson -Biologe, Anthropologe, Psychiater, Systemtheoretiker -erziihlt in der Ein leitung zu seinem Buch Geist und Natur1 eine Geschichte: Ein Mann gibt in seinen Computer die Frage ein: "Wirst Du jemals denken wie ein Mensch? Rechne mal nach!" Der Computer rechnet und rechnet und gibt schlieBlich aus: Dabei flillt mir eine Geschichte ein. Die Geschichte dieses Buches handelt von Menschen. "Fangt doch jeden Abschnitt mit einem Beispiel an", schlug Ralf-Detlef Kutsche vor, als er mir 1982 zusammen mit Peter Padawitz, Simone Pribbenow und Andreas Schulze half, die Lehrveranstaltung Logik for Informatiker durchzufiihren. "Fragen und Aufgaben regen besser zum Arbeiten an als Begriffe und Satze. " Deswegen beginnt jeder Tell dieses Buches mit einer Geschichte, die als Arbeitsmaterial dient: Die Einfuhrung mit dem Problem des Affen mit der Banane, die Aussagenlogik mit der Ballwurf logeiei, die Offene Pradikatenlogik mit dem Architektenbeispiel und die volle Priidikatenlogik mit der Geometrie Euklids. Deswegen endet jeder Abschnitt mit Aufgaben und Fragen, die wesentlich furs Verstehen sind. Deswegen sieht man beim Blattem so wenig Beweise: Ich ent wickle einen Beweis lieber aus einer Fragestellung und formuliere das Ergebnis als Satz, statt mit dem Satz zu beginnen. Deswegen sind die Themen des Buches Formalisieren und Verstehen, Tlitigkeiten, und nicht Logik und I nformatik, Gebiete. Ich behandle in dem Buch im wesentlichen die klassischen Grundthemen der mathematischen Logik: logische Folgerung, Ableitung, Vollstandigkeit, logische Theorie, Axiomensystem Es geht mir aber nicht darum, diese Begriffe und ihre Eigenschaften darzustellen.
Formalisieren und beweisen : Logik für Informatiker. (1990)
ISBN: 3528047577 bzw. 9783528047573, in Deutsch, Braunschweig : Vieweg, gebraucht.
Broschiert XIII, 259 Seiten; Broschiert Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel...); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. Mathematische Logik, Informatik, Datenverarbeitung, Mathematik, 3, 2019-10-19.
Formalisieren und Beweisen (1990)
ISBN: 9783528047573 bzw. 3528047577, in Deutsch, Vieweg+Teubner Verlag, gebundenes Buch, neu.
*Formalisieren und Beweisen* - Logik für Informatiker. Auflage 1990 / Taschenbuch für 54.99 € / Aus dem Bereich: Bücher, Ratgeber, Computer & Internet.
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition) (1990)
ISBN: 9783528047573 bzw. 3528047577, in Deutsch, 280 Seiten, 1990. Ausgabe, Vieweg+Teubner Verlag, Taschenbuch, gebraucht.
Von Händler/Antiquariat, derwahrejakob.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition) (1990)
ISBN: 9783528047573 bzw. 3528047577, in Deutsch, 280 Seiten, 1990. Ausgabe, Vieweg+Teubner Verlag, Taschenbuch, neu.
Von Händler/Antiquariat, Amazon.de.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen