Published by Braunschweig : Vieweg, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Broschiert. Condition: Gut. XIII, 259 Seiten; 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. Sprache: Deutsch Gewicht in Gramm: 420.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Book Deals, Tucson, AZ, U.S.A.
Condition: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 1.32.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Books Unplugged, Amherst, NY, U.S.A.
Condition: New. Buy with confidence! Book is in new, never-used condition 1.32.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Vieweg+Teubner, Vieweg+Teubner Verlag Jan 1990, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 262 pp. Deutsch.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Buchpark, Trebbin, Germany
Condition: Hervorragend. Zustand: Hervorragend | Seiten: 280 | Sprache: Deutsch | Produktart: Bücher.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Published by Springer Fachmedien Wiesbaden, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Series: Lehrbuch Informatik. Num Pages: 259 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 172 x 244 x 19. Weight in Grams: 488. . 1990. Paperback. . . . .
Published by Springer Fachmedien Wiesbaden, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Series: Lehrbuch Informatik. Num Pages: 259 pages, black & white illustrations, bibliography. BIC Classification: UY. Category: (P) Professional & Vocational. Dimension: 172 x 244 x 19. Weight in Grams: 488. . 1990. Paperback. . . . . Books ship from the US and Ireland.
Published by Vieweg+Teubner Verlag, 1990
ISBN 10: 3528047577 ISBN 13: 9783528047573
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Einfuehrung.- 1 Aussagenlogik.- 1A Formeln schreiben und benutzen.- 1A1 Aussagen, Verknuepfungen und Wahrheitsfunktionen.- 1A2 Aussagenlogische Formeln.- 1A3 Formalisieren.- 1A4 Induktives Definieren und Beweisen.- 1A5 Belegungen und Wahrheitswerte.- 1A6 Wahr.