SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Bernhard Heinemann | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logik für Informatiker - Eine Einführung
Bernhard Heinemann; KLAUS WEHIRAUCH
Springer Fachmedien Wiesbaden (1992)
Pehmeäkantinen kirja
31,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Roma et Romania
Sabine Heinemann; Gerald Bernhard; Dieter Kattenbusch
de Gruyter (2002)
Kovakantinen kirja
207,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Grenzsteuern, Arbeitsangebot und Wirtschaftswachstum
Fritz Böhringer; Bernhard Boockmann; Christina Elschner; Sebastian Hauptmeier; Friedrich Heinemann; Marcus Kappler
Nomos Verlagsges.MBH + Co (2008)
Pehmeäkantinen kirja
74,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logik für Informatiker - Eine Einführung
31,10 €
Springer Fachmedien Wiesbaden
Sivumäärä: 240 sivua
Asu: Pehmeäkantinen kirja
Painos: 2. Aufl. 1991
Julkaisuvuosi: 1992, 01.09.1992 (lisätietoa)
Kieli: Saksa
Tuotesarja: Leitfäden und Monographien der Informatik
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 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."

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logik für Informatiker - Eine Einführung
Näytä kaikki tuotetiedot
ISBN:
9783519122487
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste