9783519122487 - logik für informatiker: eine einführung (leitfäden und monographien der informatik) (german edition) di heinemann, bernhard (20 risultati)
- Altre immagini
- Brossura
Da: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 10,95
EUR 15,95 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Broschiert. Condizione: Gut. 2., durchges. Aufl. VIII, 240 S. ; Das Buch befindet sich in einem ordentlich erhaltenen Zustand. Sprache: Deutsch Gewicht in Gramm: 410.
- Altre immagini
Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition)
- Brossura
Da: Antiquariat Armebooks, Frankfurt am Main, GermaniaAntiquariat Armebooks
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Molto buono
EUR 12,29
EUR 20,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Gut. 252 Seiten; B. G. Teubner - 2. Auf. 1992 : Bernhard Heinemann / Weihrauch - tb. Gr. AW-CXWQ-JYIP Sprache: Deutsch Gewicht in Gramm: 377.
- Brossura
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 41,66
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der log…ischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Priidikatenlogik 1. Stufe ein. Schlie13lich behandeln wir die modale A ussagenlogik. Damit ist ein dem einfiihrenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterfiihrender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstel lung hauptsachlich an Informatik-Stlidenten nach dem ersten Studienjahr. Voraus gesetzt werden die iiblicherweise in den ersten Semestern vermittelten mathemati schen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verstiindnis des Stoffes unerla13lich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete \"Ierkzeug ist. Dariiber hinaus set zen wir die Kenntnis des Berechenbarkeitsbegriffs und del' damit zusammenhangen den Begriffe "rekursiv" und "rekursiv-aufzahlbar" in dem MaBe voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt." Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Brossura
Da: Chiron Media, Wallingford, Regno UnitoChiron Media
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 36,17
EUR 18,14 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Paperback. Condizione: New.
Logik für Informatiker: Eine Einführung (Leitfäden und Monographien der Informatik) (German Edition)
- Brossura
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 40,27
EUR 14,03 spedizioneSpedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. In.
- Brossura
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 52,88
EUR 3,51 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. pp. viii + 240 2nd Edition.
- Brossura
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 46,26
EUR 9,50 spedizioneSpedito da Irlanda a U.S.A.Quantità: 15 disponibili
Condizione: New. 1992. Paperback. . . . . .
Logik Für Informatiker: Eine Einführung
Heinemann, Bernhard; Weihrauch, Klaus; Heinemann, Bernhard; Weihrauch, Klaus
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 52,14
EUR 11,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Paperback. Condizione: Brand New. 2nd edition. 248 pages. German language. 8.90x6.38x0.55 inches. In Stock.
- Brossura
Da: Kennys Bookstore, Olney, MD, U.S.A.Kennys Bookstore
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 57,90
EUR 9,23 spedizioneSpedito in U.S.A.Quantità: 15 disponibili
Condizione: New. 1992. Paperback. . . . . . Books ship from the US and Ireland.
- Brossura
Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 60,69
EUR 32,52 spedizioneSpedito da Australia a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: new. Paperback. Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreifendes Verstandnis der log…ischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Priidikatenlogik 1. Stufe ein. Schlie13lich behandeln wir die modale A ussagenlogik. Damit ist ein dem einfiihrenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterfiihrender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstel lung hauptsachlich an Informatik-Stlidenten nach dem ersten Studienjahr. Voraus gesetzt werden die iiblicherweise in den ersten Semestern vermittelten mathemati schen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verstiindnis des Stoffes unerla13lich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete \"Ierkzeug ist. Dariiber hinaus set zen wir die Kenntnis des Berechenbarkeitsbegriffs und del' damit zusammenhangen den Begriffe "rekursiv" und "rekursiv-aufzahlbar" in dem MaBe voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt." Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
- Altre immagini
Lingua: Tedesco
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag, 1992
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,99
EUR 62,05 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering.
- Brossura
Da: Buchpark, Trebbin, GermaniaBuchpark
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Ottimo
EUR 13,09
EUR 105,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Condizione: Sehr gut. Zustand: Sehr gut | Produktart: Bücher | Die Gedankenwelt der Logik gewinnt in der 1nformatik zunehmend an Bedeutung. Der Anspruch, immer komplexere Aufgaben auch aus Bereichen, die bis vor kurzem ausschlie13lich dem menschlichen Denken vorbehalten waren, einem Rechner zu iiber tragen, setzt ein durchgreif…endes Verstandnis der logischen Prinzipien voraus, die dem ProzeB des Modellbildens und dem Denken in Modellen zugrunde liegen. Umgekehrt eroffnet das Verstehen dieser Prinzipien oft neue Anwendungsmoglichkeiten in der 1n formatik. Die Mathematische Logik erweist sich dabei als ein auBerst niitzliches Hilfs mittel. Wir stellen hier drei ihrer Teilgebiete vor. Wir beginnen mit der Aussagenlogik. Den Hauptteil des Buches nimmt die Darstellung der Priidikatenlogik 1. Stufe ein. Schlie13lich behandeln wir die modale A ussagenlogik. Damit ist ein dem einfiihrenden Charakter dieses Buches entsprechender Grundstock bereitgestellt. Darauf aufbauend kann der interessierte Leser mit weiterfiihrender Literatur in aktuelle Fragestellungen der Informatik-orientierten Logik eindringen. Das Buch richtet sich durch die Auswahl des Stoffes und die Art der Darstel lung hauptsachlich an Informatik-Stlidenten nach dem ersten Studienjahr. Voraus gesetzt werden die iiblicherweise in den ersten Semestern vermittelten mathemati schen Grundbegriffe. Eine gewisse Vertrautheit mit mathematischen Methoden ist zum Verstiindnis des Stoffes unerla13lich, da Mathematik sowohl ein Gegenstand der Untersuchungen als auch das hierbei verwendete \"Ierkzeug ist. Dariiber hinaus set zen wir die Kenntnis des Berechenbarkeitsbegriffs und del' damit zusammenhangen den Begriffe "rekursiv" und "rekursiv-aufzahlbar" in dem MaBe voraus, wie sie ein Informatik-Student im ersten Studienjahr erlernt.
Logik Für Informatiker: Eine Einführung
Heinemann, Bernhard; Weihrauch, Klaus; Heinemann, Bernhard; Weihrauch, Klaus
- Brossura
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 33,76
EUR 11,71 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 2nd edition. 248 pages. German language. 8.90x6.38x0.55 inches. In Stock. This item is printed on demand.
- Brossura
- Print on Demand
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 47,04
Spedizione gratuitaSpedito in U.S.A.Quantità: 10 disponibili
Condizione: Brand New. New. US edition. Print on demand title. Delivery takes 20-25 days. Excellent Customer Service.
- Brossura
- Print on Demand
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 50,10
EUR 7,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. Print on Demand pp. viii + 240.
- Altre immagini
Lingua: Tedesco
Editore: Vieweg+Teubner, Vieweg+Teubner Verlag Sep 1992, 1992
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,99
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 240 pp. Deutsch.
- Brossura
- Print on Demand
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 50,57
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. PRINT ON DEMAND pp. viii + 240.
- Altre immagini
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,99
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einfuehrung und mathematische Grundlagen.- 1.1 Einfuehrung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussage…nlogische Formeln, die Syntax.- 2.2 Interpr.
- Altre immagini
Lingua: Tedesco
Editore: Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Sep 1992, 1992
- Brossura
- Print on Demand
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germaniabuchversandmimpf2000
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,99
EUR 60,00 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1 Einführung und mathematische Grundlagen.- 1.1 Einführung in die Fragestellung.- 1.2 Allgemeine mathematische Grundbegriffe.- 1.3 Berechenbarkeit.- 1.4 Erzeugungssysteme, Termmengen.- 2 Aussagenlogik.- 2.1 Aussagenlogische Formeln, di…e Syntax.- 2.2 Interpretationen und Belegungen.- 2.3 Tautologien und logische Äquivalenz.- 2.4 Ausdrucksstärke, Normalformen, Kompaktheitssatz.- 3 Prädikatenlogik.- 3.1 Einleitung.- 3.2 Syntax der Prädikatenlogik.- 3.3 Semantik und logische Grundbegriffe.- 3.4 Formalisierung des logischen Schließens.- 3.5 Normalformen prädikatenlogischer Formeln.- 3.6 Herbrand-Strukturen, Kompaktheit und rekursive Aufzählbarkeit der logischen Konsequenz.- 3.7 Die Unentscheidbarkeit der Prädikatenlogik.- 3.8 Prädikatenlogik mit Gleichheit.- 3.9 Theorien.- 3.10 Ausdrucksstärke der Prädikatenlogik 1. Stufe.- 4 Grundlagen der Logischen Programmierung.- 4.1 Logik-Programme.- 4.2 Unifikation.- 4.3 Berechnungen von Logik-Programmen.- 4.4 Korrektheit und Vollständigkeit des Resolutionsverfahrens.- 5 Modale Aussagenlogik.- 5.1 Einführung in die Modallogik.- 5.2 Entscheidbarkeit.- 5.3 Von der Modallogik zur Temporären Logik.- Übungsaufgaben.- Das Griechische Alphabet.- Verzeichnis der verwendeten Symbole.- Stichwort- und Namensverzeichnis.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 252 pp. Deutsch.
- Altre immagini
- Brossura
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 32,99
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Taschenbuch. Condizione: Neu. Logik für Informatiker | Eine Einführung | Bernhard Heinemann (u. a.) | Taschenbuch | viii | Deutsch | 1992 | Vieweg & Teubner | EAN 9783519122487 | Verantwortliche Person für die EU: Springer Vieweg in Springer Science + Business Media, Abraham-Lincoln-Str. 46, 65189 Wiesbaden, juergen[dot]hartmann…[at]springer[dot]com | Anbieter: preigu Print on Demand.
