Angebote zu "Steffen" (17 Treffer)

Logik und Logikprogrammierung 1
29,80 € *
ggf. zzgl. Versand

Die zweibändig angelegte Neuausgabe des bewährten Standardwerks, das sich insbesondere an Studienanfänger/innen der Informatik und benachbarter Disziplinen richtet, bietet eine Einführung in die grundlegenden Techniken und Methoden der formalen Logik und in die Möglichkeiten der Logikprogrammierung am Beispiel der Programmiersprache PROLOG. Der Schwerpunkt des ersten Bandes, der die theoretischen Grundlagen präsentiert, liegt neben der Darstellung von Syntax und Semantik der Aussagen- und der Prädikatenlogik auf der Entwicklung von automatisierten Beweisverfahren (Resolutions- und Tableauverfahren, Konnektionsmethode, Hilbert-Systeme u.a.) sowie dem sog. Kalkül des natürlichen Schließens, der zahlreiche auch in der Mathematik verwendete Beweistechniken vermittelt. Die Logik-Programmiersprache PROLOG wird zunächst informell eingeführt, um in diesem Rahmen die Spezifizierung und Prüfung von Algorithmen zu ermöglichen. Im Schlussteil wird dann der Übergang vom automatischen Beweisen zum Programmieren in PROLOG vollzogen und eine formale Semantik für die deklarativen Anteile von PROLOG vorgestellt. Der zweite Band ist als Übungsband konzipiert und bietet eine Vielzahl von Aufgaben samt Musterlösungen, die eine vertiefende Einarbeitung in die in Band 1 dargestellten Methoden ermöglichen. Inhaltsverzeichnis: Formalisierung - Kalkülbildung - Mechanisierung - Algorithmierung der Logik - Deduktionssysteme - Logikprogrammierung am Beispiel PROLOG: Einfache Daten; Variablenumbenennung; Komplexe Daten; Der Cut - Aussagenlogik: Syntax; Semantik; Aquivalenz und Normalformen; Beweisverfahren - Prädikatenlogik: Syntax; Substitutionen; Semantik; Aquivalenz und Normalformen; Unifikation; Beweisverfahren; Eigenschaften - Grundlagen der Logikprogrammierung: Definite Programme; Normale Programme - Ausblick

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Einführung in die Kryptologie
32,99 € *
ggf. zzgl. Versand

Mit großem didaktischen Geschick gelingt es den Autoren, Begeisterung für die Welt der geheimen Botschaften zu wecken. So gelingt der Einstieg in die Kryptologie ganz leicht. Viele Beispiele und Aufgaben regen dazu an, sich selbständig mit diesem faszinierenden Gebiet zu beschäftigen und helfen dabei, den erlernten Stoff weiter zu vertiefen.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
IT-Sicherheit für TCP/IP- und IoT-Netzwerke
44,99 € *
ggf. zzgl. Versand

Die Bedeutung der digitalen Infrastruktur, insbesondere von Netzwerken, ist in den letzten zehn Jahren kontinuierlich gestiegen. Das gilt gleichermaßen für die IT-Sicherheit. Denn ohne sichere Netzwerke können Technologien wie Künstliche Intelligenz oder das Internet der Dinge weder betrieben noch weiterentwickelt werden. Dieses Buch liefert das Fundament, um die Konzeption von TCP/IP- und IoT-Netzwerken und ihre Sicherheit in einer zunehmend vernetzten Welt zu verstehen. Es vereint praxisrelevantes Know-how mit den wissenschaftlichen Grundlagen und aktuellen Forschungsideen zu einem umfassenden Werk. Der Autor legt großen Wert darauf, die Grundlagen der Netzwerktechnik und der IT-Sicherheit verständlich und ausführlich darzustellen. Daneben greift er auch die folgenden Themen auf: · Die Kryptographie , ihre historischen und modernen Verfahren sowie ihre Anwendung beispielsweise in VPNs (Virtual Private Networks) · Die wichtigsten Angriffs- und Verteidigungsmethoden für Netzwerke · Die Sicherheit des Internets der Dinge und sein Einsatz etwa in Smart Buildings und Industriesteueranlagen Das Buch ist so konzipiert, dass Leserinnen und Leser mit einem eher praktischen Zugang zum Thema IT- und Netzwerksicherheit genauso profitieren wie jene mit einem mehr theoretischen Zugang. Durch zahlreiche Übungen - inklusive klassischer Klausuraufgaben - ist es sowohl für die Lehre als auch für das Selbststudium bestens geeignet. Zusatzmaterial wie Vorlesungsunterlagen und selektierte Lösungen zu den Übungen stehen online zum Download zur Verfügung.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Software entwickeln mit Verstand
29,90 € *
ggf. zzgl. Versand

Wie und warum funktionieren eigentlich erfolgreiche Softwareentwicklungsprojekte? Programmiersprachen, Werkzeuge und Prozesse sind wichtig und in zahlreichen Büchern ausführlich beschrieben. Entscheidend sind aber oft die beteiligten Menschen und ihre Arbeitsweise. Daher sollte man weiter fragen: Wie denken und arbeiten Menschen bei der Entwicklung von Software? Wie lösen sie Probleme, individuell und im Team? Antworten darauf geben die Autoren dieses Buches, indem sie Grundlagen der Kognitionspsychologie mit der täglichen Erfahrung in Softwareprojekten verbinden. -- Der Leser erfährt, welche Mechanismen bei der Problemlösung und bei der Kommunikation innerhalb von Teams wirken. Ein Verständnis dieser Aspekte ermöglicht es, die Produktivität in der Projektarbeit bewusst zu steigern. -- Eine genaue Betrachtung der aktuell am häufigsten eingesetzten Entwicklungsprozesse wie V-Modell, RUP oder Scrum befähigen den Leser, eigene Erfahrungen mit diesen Vorgehensmodellen besser zu verstehen. -- Die darauf aufbauenden Kapitel zur Produktivitätssteigerung, zum Management sowie zu den Merkmalen eines ´´idealen´´ Prozesses versetzen den Leser in die Lage, Softwareentwicklungsprojekte erfolgreicher zu planen und durchzuführen und sie dabei laufend zu optimieren. Software Engineering erreicht damit eine neue Dimension, da die Hauptakteure Softwareentwickler, Architekten, Projektleiter und Manager nun genau wissen, wie jeder Einzelne und ganze Teams produktiver arbeiten.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot
Informatik und Alltag, Profilband - Friedrich, ...
1,19 € *
zzgl. 3,99 € Versand
Anbieter: reBuy.de
Stand: 19.09.2019
Zum Angebot
Mathematik für Informatiker als Buch von Steffe...
27,99 € *
ggf. zzgl. Versand

Mathematik für Informatiker:Eine aus der Informatik motivierte Einführung mit zahlreichen Anwendungs- und Programmbeispielen. Auflage 2014 Steffen Goebbels/ Jochen Rethmann

Anbieter: Hugendubel.de
Stand: 04.09.2019
Zum Angebot
Grundlagen der höheren Informatik als Buch von ...
29,99 € *
ggf. zzgl. Versand

Grundlagen der höheren Informatik:Induktives Vorgehen. Auflage 2014 Bernhard Steffen/ Oliver Rüthing/ Malte Isberner

Anbieter: Hugendubel.de
Stand: 04.09.2019
Zum Angebot
Mathematik für Informatiker
27,99 € *
ggf. zzgl. Versand

Im Studienalltag ist oft die Mathematik von den Inhalten der Informatik durch separate Vorlesungen abgegrenzt. Dadurch wird es schwierig einzusehen, warum im Informatik-Studium so viel Mathematik unterrichtet wird. In diesem Buch werden daher Fragestellungen der Informatik in den Mittelpunkt gestellt, für die dann die benötigte Mathematik entwickelt wird. Da das Buch als Einführung geschrieben ist, genügen elementare Schulkenntnisse in Mathematik. Bruchrechnung oder das Umstellen von Gleichungen setzen wir aber als bekannt voraus. Sie sollten auch schon ein wenig programmiert haben, um die (einfachen) Programmbeispiele unmittelbar zu verstehen. Da viele Querbezüge zur Informatik dargestellt werden, eignet sich das Buch insbesondere auch zum Auffrischen der Mathematikkenntnisse - z. B. nach einer Pause zwischen Bachelor- und Master-Studium. Bei der Stoffauswahl haben wir uns an den Kernfächern der Informatik orientiert: Logik und Rechnen mit Bits, Relationen und endliche Automaten, Graphen und Graphenalgorithmen, Zahlen und ihre Darstellung im Computer, Primzahlen und Verschlüsselung, Differenzial- und Integralrechnung in Verbindung mit Aufwandsabschätzungen, Lineare Algebra und Codes. Wir möchten mit dem Buch auch die Grundlage dafür legen, dass Sie sich weitere Themen der Mathematik aneignen können, wenn Sie diese bei der Anwendung der Informatik für andere Disziplinen benötigen.

Anbieter: buecher.de
Stand: 19.09.2019
Zum Angebot