Angebote zu "Präzises" (25 Treffer)

Präzises Denken für Informatiker
€ 27.99 *
ggf. zzgl. Versand

Das Lehrbuch befasst sich mit dem präzisen Denken, einer Schlüsselkompetenz im Studium der Informatik. Es bildet die Vorstufe für das Verständnis der logischen Grundfunktionen der Informatik. Das Erlernen der mathematischen Logik ist ein wesentlicher Bestandteil des Grundstudiums, da das logische Denken in der Informatik auf den gleichen Regeln und Techniken basiert wie in der Mathematik. Der Autor führt umfassend in die Aussagenlogik ein und erklärt unter anderem die Bedeutungen von logischer Äquivalenz, Implikation und Induktion für diesen Fachbereich. Darüber hinaus definiert er den Beweis aus Sicht der Mathematik und stellt grundlegende Beweisstrategien vor, die im Studium benötigt werden. Mit den in diesem Lehrbuch vorgestellten Techniken des präzisen Denkens erwerben die Studenten die Fähigkeit, Begriffe punktgenau zu definieren, Aussagen trennscharf zu formulieren und ihre Richtigkeit angemessen zu begründen. Viele praxisnahe Aufgaben und Lösungshinweise innerhalb der Kapitel erleichtern die Überprüfung und Vertiefung des Lernstoffs. Der Autor richtet sich vornehmlich an Bachelorstudenten der ersten Semester. Sie finden in diesem Werk eine optimale Vorbereitung auf die Logik-Seminare ihres Informatikstudiums. Die vermittelten Kompetenzen verbessern dabei nicht nur das Verständnis im Informatik-Studium, sondern sind ebenso für das spätere Berufsleben von großer Bedeutung. Darüber hinaus erhalten auch interessierte Laien mit diesem Buch einen interessanten Einblick in die Welt der Informatik und Mathematik und lernen, dass die Fähigkeit zu präzisem Denken auch jenseits dieser Fachbereiche hilfreich sein kann.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Präzises Denken für Informatiker als eBook Down...
€ 27.99
Angebot
€ 19.99 *
ggf. zzgl. Versand
(€ 27.99 / in stock)

Präzises Denken für Informatiker: Karsten Wolf

Anbieter: Hugendubel.de
Stand: Sep 11, 2018
Zum Angebot
Präzises Denken für Informatiker als Buch von K...
€ 27.99 *
ggf. zzgl. Versand

Präzises Denken für Informatiker:Springer-Lehrbuch. 1. Aufl. 2017 Karsten Wolf

Anbieter: Hugendubel.de
Stand: Dec 6, 2018
Zum Angebot
Logik für Informatiker
€ 20.00 *
ggf. zzgl. Versand

Das Buch macht den Leser mit den wesentlichen Teilgebieten der formalen Logik vertraut, die Bestandteil der Ausbildung in Theoretischer Informatik sind. Die Darstellung orientiert sich an den Bedürfnissen von Informatikstudierenden. Insbesondere werden viele mehr auf das Prinzipielle ausgerichtete Resultate der formalen Logik unter einem algorithmischen Gesichtspunkt behandelt. Diese Vorgehensweise erleichtert entscheidend den Zugang zu dem abstrakten Themengebiet.Prof. Schöning gelingt eine kompakte und verständliche Darstellung der Aussagen- und Prädikatenlogik, bei der die benötigten Begriffe präzise eingeführt und durch Beispiele veranschaulicht werden. Darauf beruhend werden Anwendungen der Logik in der Informatik, wie z. B. Resolution, Automatisches Beweisen und Logik-Programmierung behandelt. Zahlreiche Übungsaufgaben mit ausführlichen Lösungshinweisen erleichtern die Vertiefung des Lernstoffes.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Einführung in die Kryptographie
€ 29.99 *
ggf. zzgl. Versand

Dieses Kryptographiebuch ist geschrieben für Studierende der Mathematik, Informatik, Physik, Elektrotechnik oder andere Leser mit mathematischer Grundbildung und wurde in vielen Vorlesungen erfolgreich eingesetzt. Es behandelt die aktuellen Techniken der modernen Kryptographie, zum Beispiel Verschlüsselung und digitale Signaturen. Das Buch vermittelt auf elementare Weise alle mathematischen Grundlagen, die zu einem präzisen Verständnis der Kryptographie nötig sind, mit vielen Beispielen und Übungen. Die Leserinnen und Leser erhalten ein fundiertes Verständnis der modernen Kryptographie und werden in die Lage versetzt Forschungsliteratur zur Kryptographie zu verstehen.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Petrinetze
€ 37.99 *
ggf. zzgl. Versand

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt. Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit. Zielgruppe Studierende der Informatik an Universitäten und Fachhochschulen.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Relationale Datenbanken
€ 29.99 *
ggf. zzgl. Versand

Dieses Buch bietet eine umfassende Einführung in die Theorie und Praxis relationaler Datenbanken. Es beginnt mit einer mathematisch präzisen Darstellung des relationalen Modells und der relationalen Algebra. Darauf basierend wird die Datenbanksprache SQL vorgestellt und anhand zahlreicher praktischer Beispiele besprochen. Weiter werden die grundlegenden Prinzipien des Schemaentwurfs sowie Normalformen fundiert und praxisnah vermittelt. Studierende der Informatik finden hier auch weiterführende Themen, wie logische und physische Query-Optimierung oder Transaktionsverarbeitung, deren Implementierung in der Open-Source-Datenbank PostgreSQL untersucht und mit vielen Beispielen illustriert wird. Dabei behandelt dieses Lehrbuch auch aktuelle Neuerungen wie Serializable-Snapshot-Isolation.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Künstliche Intelligenz für Dummies
€ 24.99 *
ggf. zzgl. Versand

Künstliche Intelligenz ist heute in aller Munde. Man hört von selbstfahrenden Autos, humanoiden Robotern und intelligenten Systemen, die uns bereits im Schach und GO besiegt haben. Das vorliegende Buch beschreibt präzise und dennoch einfach diejenigen Algorithmen, die all das ermöglicht haben, zeigt Beispielanwendungen aus der Industrie, erklärt die zugrundeliegende Mathematik und zeigt darüber hinaus klar die Grenzen auf, was künstliche Intelligenz in den nächsten Jahrzehnten noch nicht erreichen kann. Sie müssen nicht Informatik studiert haben, um dieses Buch zu verstehen. Mathematikwissen auf Oberstufenniveau genügt.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Practical Software Testing
€ 71.99 *
ggf. zzgl. Versand

In präziser, praxisorientierter Form vermitteln die Autoren das Wissen zur Therapie mit Herzschrittmachern und zur Betreuung von Herzschrittmacherpatienten: - anatomisch-physiologische und technische Grundlagen - Indikationen und Auswahl des Schrittmachers - Durchführung der Implantation - Schrittmacherprogrammierung - Kleine und große Schrittmacherkontrolle - Komplikationen und ihre Behandlung - Schrittmacher- oder Elektrodenwechsel Zahlreiche Fallbeschreibungen und EKG-Beispiele tragen zur Anschaulichkeit bei. Die häufigsten Fragen der Patienten an den Arzt sind mit Antwortvorschlägen in einem Anhang zusammengefaßt. Ein Schrittmacherlexikon ermöglicht auf einen Blick die Information über alle spezifischen Begriffe. Based on the needs of the educational community, and the software professional, this book takes a unique approach to teaching software testing. It introduces testing concepts that are managerial, technical, and process oriented, using the Testing Maturity Model (TMM) as a guiding framework. The TMM levels and goals support a structured presentation of fundamental and advanced test-related concepts to the reader. In this context, the interrelationships between theoretical, technical, and managerial concepts become more apparent. In addition, relationships between the testing process, maturity goals, and such key players as managers, testers and client groups are introduced. Topics and features: - Process/engineering-oriented text - Promotes the growth and value of software testing as a profession - Introduces both technical and managerial aspects of testing in a clear and precise style - Uses the TMM framework to introduce testing concepts in a systemmatic, evolutionary way to faciliate understanding - Describes the role of testing tools and measurements, and how to integrate them into the testing process Graduate students and industry professionals will benefit from the book, which is designed for a graduate course in software testing, software quality assurance, or software validation and verification Moreover, the number of universities with graduate courses that cover this material will grow, given the evoluation in software development as an engineering discipline and the creation of degree programs in software engineering.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot
Software Engineering
€ 42.90 *
ggf. zzgl. Versand

Das Buch vermittelt die Grundlagen, Erfahrungen und Techniken, die den Kern des Software Engineerings bilden. Es ist als Material zu einer Vorlesung über Software Engineering konzipiert. Darum wurde besonderes Gewicht auf die Darstellung und Vermittlung der Einsichten und Erkenntnisse gelegt, die von Forschern und Praktikern gewonnen, formuliert und angewendet wurden und der Kritik standgehalten haben. Auch für Praktiker, die mit der Software-Entwicklung und -Bearbeitung und den dabei auftretenden Problemen vertraut sind, ist das Buch sehr gut geeignet, um die Kenntnisse im Selbststudium zu ergänzen und zu vertiefen. Der Inhalt des Buches ist in fünf Teile gegliedert: I Grundlagen: Modelle und Modellierung, Grundbegriffe, Software Engineering, Software-Nutzen und -Kosten, Software-Qualität II Menschen und Prozesse: Menschen im Software Engineering, das Software-Projekt, Projektleitung und Projektleiter, Vorgehensmodelle, Prozessmodelle, Bewertung und Verbesserung des Software-Prozesses III Daueraufgaben im Software-Projekt: Dokumentation, Software-Qualitätssicherung und -Prüfung, Metriken und Bewertungen, Werkzeuge und Entwicklungsumgebungen IV Techniken der Software-Bearbeitung: Analyse und Spezifikation, Entwurf, Codierung, Programmtest, Integration V Verwaltung und Erhaltung der Software: Konfigurationsverwaltung, Software-Wartung, Reengineering, Wiederverwendung Ein Nachwort zum Studium der Softwaretechnik, ein aktuelles Literaturverzeichnis und ein präziser Index schließen das Buch ab. Ergänzende Informationen (u.a. Links und Abbildungen) sind auf den Webseiten der Autoren verfügbar: http://www.swc.rwth-aachen.de/se_buch/.

Anbieter: buecher.de
Stand: Dec 10, 2018
Zum Angebot