Domain dualer-studiengang.de kaufen?
Wir ziehen mit dem Projekt
dualer-studiengang.de um.
Sind Sie am Kauf der Domain
dualer-studiengang.de interessiert?
domain@kv-gmbh.de · 0541-91531010
Domain dualer-studiengang.de kaufen?
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex Page
Eine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.
63,59 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Mathematical Logic for Computer Science, Fachbücher von Mordechai Ben-Ari
"Mathematical Logic for Computer Science" ist ein Fachbuch, das sich auf die mathematische Logik konzentriert und speziell auf die Bedürfnisse von Studierenden der Informatik ausgerichtet ist. Es bietet eine umfassende Einführung in verschiedene logische Systeme, die für das Verständnis und die Anwendung in der Informatik von Bedeutung sind. Die Verwendung von semantischen Tableaux als Lehrmethode ermöglicht es, komplexe logische Konzepte auf eine verständliche und strukturierte Weise zu vermitteln. Die Inhalte sind so gestaltet, dass sie auf den bereits erlernten Grundlagen aufbauen und den Lernenden helfen, fortgeschrittene logische Systeme zu meistern. Die dritte Auflage des Buches wurde vollständig überarbeitet und enthält neue Kapitel zu aktuellen Themen der modernen Informatik, wie SAT-Solver und Modellprüfung, die für die Entwicklung und Verifikation von Software von zentraler Bedeutung sind.
64,19 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Essential-Logic-for-Computer
Top-Angebote
Produkte zum Begriff Essential-Logic-for-Computer:
-
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science, Fachbücher von Andrea IaconaDas Fachbuch "Logic: Lecture Notes for Philosophy, Mathematics, and Computer Science" bietet eine umfassende Einführung in die Logik und ist sowohl für Studierende der Philosophie als auch für solche der Mathematik und Informatik geeignet. Es enthält sowohl einen elementaren als auch einen fortgeschrittenen Kurs, der über die Inhalte vieler herkömmlicher Einführungslehrbücher hinausgeht. Die klare und präzise technische Darstellung ermöglicht es den Lesenden, sich schrittweise mit den grundlegenden Definitionen und Verfahren vertraut zu machen, bevor sie komplexere Themen angehen. Zudem wird ein ausgewogenes Verhältnis zwischen formalen und philosophischen Diskussionen präsentiert, was das Buch besonders für eine breite Zielgruppe attraktiv macht. Es ist ein wertvolles Lehrmittel für Bachelor- und Masterstudierende sowie für Lehrende im Bereich Logik.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de Moura
Applied Logic for Computer Scientists ist ein Fachbuch, das eine fundierte Einführung in die Logik und mathematische Induktion bietet, die als Grundlage für deduktive rechnergestützte Systeme dienen. Es richtet sich an Computerwissenschaftler, Mathematiker und Ingenieure und vermittelt die wesentlichen mathematischen Grundlagen der logischen Systeme, die in modernen Beweisassistenten wie dem PVS-Verifikationssystem verwendet werden. Die Autoren legen besonderen Wert auf natürliche Deduktion und Sequenzkalkül und beleuchten die Unterschiede zwischen konstruktiver und klassischer Logik anhand von Beispielen und Übungen. Das Buch fördert das Verständnis der Verbindungen zwischen logischen Deduktionsregeln und Beweisbefehlen in Beweisassistenten und bietet einfache Beispiele zur Formalisierung der Korrektheit algebraischer Funktionen und Algorithmen in PVS. Es ist sowohl für Studierende als auch für Fachleute in den Bereichen Software, Hardware, Automatisierung, Elektrotechnik und Mechatronik von Nutzen, die an der Anwendung formaler Methoden und den damit verbundenen rechnergestützten Werkzeugen interessiert sind.
48,14 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Logic in Computer Science, Fachbücher von Hantao Zhang, Jian Zhang
Das Fachbuch 'Logic in Computer Science' bietet eine umfassende Einführung in verschiedene logische Systeme, die als Grundlage für Mathematik, Informatik und künstliche Intelligenz dienen. Es behandelt klassische Aussagenlogik und Prädikatenlogik erster Stufe sowie spezielle Logiken wie Gleichungslogik, temporale Logik und Hoare-Logik. Neben den theoretischen Grundlagen werden auch Beweisverfahren und Entscheidungsverfahren zur Überprüfung der Erfüllbarkeit logischer Formeln vorgestellt. Das Buch richtet sich an Studierende der Informatik und Mathematik, sowohl im Bachelor- als auch im Masterstudium, und setzt keine Vorkenntnisse in Logik voraus. Durch zahlreiche Übungsaufgaben in jedem Kapitel wird das Verständnis der vorgestellten Konzepte und Techniken gefördert. Die praxisnahe Darstellung der Logiken als Werkzeuge zur Lösung von Problemen in der künstlichen Intelligenz und formalen Verifikation macht dieses Buch zu einem wertvollen Begleiter für das Studium und die Forschung.
69,54 €*
Versand: 0,00 €
Sichere Weiterleitung zum Anbieter
Top-Angebote
Produkte zum Begriff Essential-Logic-for-Computer:
-
Essential Logic for Computer Science (The ), Fachbücher von Ruben Gamboa, Rex PageEine Einführung in die Anwendung der Prädikatenlogik für das Testen und die Verifikation von Software und digitalen Schaltungen, die sich auf Anwendungen statt auf Theorie konzentriert. Informatiker nutzen Logik für das Testen und die Verifikation von Software und digitalen Schaltungen, aber viele Informatikstudierende beschäftigen sich mit Logik nur im Kontext der traditionellen Mathematik und begegnen dem Thema in wenigen Vorlesungen und einer Handvoll Aufgaben in einem Kurs über diskrete Mathematik. Dieses Buch bietet einen substantielleren und rigoroseren Ansatz zur Logik, der sich auf Anwendungen in der Informatik konzentriert. Behandelte Themen sind Prädikatenlogik, gleichungsbasierte Software, automatisiertes Testen und Theorembeweisen sowie grossangelegte Berechnungen. Der Formalismus wird betont, und das Buch verwendet drei formale Notationen: traditionelle algebraische Formeln der Aussagen- und Prädikatenlogik; digitale Schaltpläne; und den weit verbreiteten teilweise automatisierten Theorembeweiser ACL2, der eine zugängliche Einführung in den mechanisierten Formalismus bietet. Für Leser, die die Formalisierung in Aktion sehen möchten, präsentiert der Text Beispiele mit Proof Pad, einer leichtgewichtigen ACL2-Umgebung. Die Leser werden keine Experten in ACL2, aber sie lernen, wie mechanisierte Logik Software- und Hardware-Ingenieuren zugutekommen kann. Darüber hinaus bieten 180 Übungen, von denen einige äusserst herausfordernd sind, Gelegenheiten zur Problemlösung. Es gibt keine Voraussetzungen über die Algebra der Oberstufe hinaus. Programmiererfahrung ist nicht erforderlich, um den gleichungsbasierten Ansatz des Buches zu verstehen. Das Buch kann in Bachelor-Kursen zur Logik für Informatik und zur Einführung in die Informatik sowie in Mathematik-Kursen für Informatikstudierende verwendet werden.63,59 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Mathematical Logic for Computer Science, Fachbücher von Mordechai Ben-Ari"Mathematical Logic for Computer Science" ist ein Fachbuch, das sich auf die mathematische Logik konzentriert und speziell auf die Bedürfnisse von Studierenden der Informatik ausgerichtet ist. Es bietet eine umfassende Einführung in verschiedene logische Systeme, die für das Verständnis und die Anwendung in der Informatik von Bedeutung sind. Die Verwendung von semantischen Tableaux als Lehrmethode ermöglicht es, komplexe logische Konzepte auf eine verständliche und strukturierte Weise zu vermitteln. Die Inhalte sind so gestaltet, dass sie auf den bereits erlernten Grundlagen aufbauen und den Lernenden helfen, fortgeschrittene logische Systeme zu meistern. Die dritte Auflage des Buches wurde vollständig überarbeitet und enthält neue Kapitel zu aktuellen Themen der modernen Informatik, wie SAT-Solver und Modellprüfung, die für die Entwicklung und Verifikation von Software von zentraler Bedeutung sind.64,19 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
LOGIC: Lecture Notes for Philosophy, Mathematics, and Computer Science, Fachbücher von Andrea IaconaDas Fachbuch "Logic: Lecture Notes for Philosophy, Mathematics, and Computer Science" bietet eine umfassende Einführung in die Logik und ist sowohl für Studierende der Philosophie als auch für solche der Mathematik und Informatik geeignet. Es enthält sowohl einen elementaren als auch einen fortgeschrittenen Kurs, der über die Inhalte vieler herkömmlicher Einführungslehrbücher hinausgeht. Die klare und präzise technische Darstellung ermöglicht es den Lesenden, sich schrittweise mit den grundlegenden Definitionen und Verfahren vertraut zu machen, bevor sie komplexere Themen angehen. Zudem wird ein ausgewogenes Verhältnis zwischen formalen und philosophischen Diskussionen präsentiert, was das Buch besonders für eine breite Zielgruppe attraktiv macht. Es ist ein wertvolles Lehrmittel für Bachelor- und Masterstudierende sowie für Lehrende im Bereich Logik.53,49 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
Ähnliche Suchbegriffe für Essential-Logic-for-Computer
-
Applied Logic for Computer Scientists, Fachbücher von Mauricio Ayala-Rincón, Flávio L. C. de MouraApplied Logic for Computer Scientists ist ein Fachbuch, das eine fundierte Einführung in die Logik und mathematische Induktion bietet, die als Grundlage für deduktive rechnergestützte Systeme dienen. Es richtet sich an Computerwissenschaftler, Mathematiker und Ingenieure und vermittelt die wesentlichen mathematischen Grundlagen der logischen Systeme, die in modernen Beweisassistenten wie dem PVS-Verifikationssystem verwendet werden. Die Autoren legen besonderen Wert auf natürliche Deduktion und Sequenzkalkül und beleuchten die Unterschiede zwischen konstruktiver und klassischer Logik anhand von Beispielen und Übungen. Das Buch fördert das Verständnis der Verbindungen zwischen logischen Deduktionsregeln und Beweisbefehlen in Beweisassistenten und bietet einfache Beispiele zur Formalisierung der Korrektheit algebraischer Funktionen und Algorithmen in PVS. Es ist sowohl für Studierende als auch für Fachleute in den Bereichen Software, Hardware, Automatisierung, Elektrotechnik und Mechatronik von Nutzen, die an der Anwendung formaler Methoden und den damit verbundenen rechnergestützten Werkzeugen interessiert sind.48,14 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
-
Logic in Computer Science, Fachbücher von Hantao Zhang, Jian ZhangDas Fachbuch 'Logic in Computer Science' bietet eine umfassende Einführung in verschiedene logische Systeme, die als Grundlage für Mathematik, Informatik und künstliche Intelligenz dienen. Es behandelt klassische Aussagenlogik und Prädikatenlogik erster Stufe sowie spezielle Logiken wie Gleichungslogik, temporale Logik und Hoare-Logik. Neben den theoretischen Grundlagen werden auch Beweisverfahren und Entscheidungsverfahren zur Überprüfung der Erfüllbarkeit logischer Formeln vorgestellt. Das Buch richtet sich an Studierende der Informatik und Mathematik, sowohl im Bachelor- als auch im Masterstudium, und setzt keine Vorkenntnisse in Logik voraus. Durch zahlreiche Übungsaufgaben in jedem Kapitel wird das Verständnis der vorgestellten Konzepte und Techniken gefördert. Die praxisnahe Darstellung der Logiken als Werkzeuge zur Lösung von Problemen in der künstlichen Intelligenz und formalen Verifikation macht dieses Buch zu einem wertvollen Begleiter für das Studium und die Forschung.69,54 €*Versand: 0,00 €Sichere Weiterleitung zum Anbieter
* Alle Preise verstehen sich inklusive der gesetzlichen Mehrwertsteuer und ggf. zuzüglich Versandkosten. Die Angebotsinformationen basieren auf den Angaben des jeweiligen Shops und werden über automatisierte Prozesse aktualisiert. Eine Aktualisierung in Echtzeit findet nicht statt, so dass es im Einzelfall zu Abweichungen kommen kann. ** Hinweis: Teile dieses Inhalts wurden von KI erstellt.