Angebote zu "Logik" (64 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: 15.04.2019
Zum Angebot
Mathematik für Informatik und Bioinformatik
37,99 € *
ggf. zzgl. Versand

Mathematik für Informatik und BioInformatik ist eine speziell auf das Informatik- und BioInformatik-Studium zugeschnittene breite Einführung in die Mathematik im Umfang der ersten drei bis vier Semester an Universitäten. Der klassische Stoff von Analysis und Linearer Algebra ist auf das Wesentliche konzentriert. Zusätzlich enthalten sind speziell für Informatik und BioInformatik wichtige Gebiete der Diskreten Mathematik und Logik sowie der Stochastik und teilweise auch der Numerik. Unter der URL min.informatik.uni-tuebingen.de werden begleitend interaktive Übungen und Illustrationen sowie eine Verfilmung der entsprechenden Vorlesung zum Selbststudium angeboten.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Theoretische Informatik
42,00 € *
ggf. zzgl. Versand

Das Buch führt umfassend in das Gebiet der theoretischen Informatik ein und behandelt den Stoffumfang, der für das Bachelor-Studium an Universitäten und Hochschulen in den Fächern Informatik und Informationstechnik benötigt wird. Die Darstellung und das didaktische Konzept verfolgen das Ziel, einen durchweg praxisnahen Zugang zu den mitunter sehr theoretisch geprägten Themen zu schaffen. Theoretische Informatik muss nicht trocken sein. Sie kann Spaß machen und genau dies versucht das Buch zu vermitteln. Die verschiedenen Methoden und Verfahren werden anhand konkreter Beispiele eingeführt und durch zahlreiche Querverbindungen wird gezeigt, wie die fundamentalen Ergebnisse der theoretischen Informatik die moderne Informationstechnologie prägen. Das Buch behandelt die Themengebiete: Logik und Deduktion, Automatentheorie, formale Sprachen, Entscheidbarkeitstheorie, Berechenbarkeitstheorie und Komplexitätstheorie. Die Lehrinhalte aller Kapitel werden durch zahlreiche Übungsaufgaben komplettiert, so dass sich die Lektüre neben der Verwendung als studienbegleitendes Lehrbuch auch bestens zum Selbststudium eignet.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Mathematische Grundlagen für die Informatik
27,99 € *
ggf. zzgl. Versand

Logiken, Mengen, Relationen, Funktionen, Induktion und Rekursion sind grundlegende mathematische Konzepte und Methoden, die in allen Bereichen der Informatik für die Beschreibung von Problemen und deren Lösung benötigt werden. Das Beherrschen dieser Konzepte und Methoden ist Voraussetzung für das Studium fast aller weiteren Informatik-Module, nicht nur in Bereichen der Mathematik und der Theoretischen Informatik, sondern auch in Bereichen der Praktischen Informatik, wie z.B. Programmierung, Datenstrukturen, Algorithmen und Datenbanken. Das Buch stellt die grundlegenden Begriffe, ihre Eigenschaften und Anwendungsmöglichkeiten schrittweise vor. Das Verständnis der Begriffe und deren Zusammenhang und Zusammenwirken wird u.a. durch Lernziele, integrierte Übungsaufgaben mit Musterlösungen und Marginalien unterstützt; das Buch ist zum Selbststudium geeignet.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Grundlagen der Informatik. Rechnerarchitektur, ...
49,95 € *
ggf. zzgl. Versand

Die drei Teile der ´´Informatik - Einführung´´ decken alle Inhalte des kompletten Informatik-Bachelorstudiums ab. Die einzelnen Teile sind auf die Inhalte der einzelnen Semester abgestimmt. Jeder Teil liefert unabhängig die Grundlagen für die jeweiligen Themen. Durch seinen didaktischen Aufbau mit Aufgabenistdas Buchauf die Bachelorstudierenden abgestimmt. Durch seine anschauliche Darstellund sowieBeispiele aus der Praxis holt es die Einsteiger bei deren Wissensstand ab. Der Teilzweiwidmet sich Rechnerarchitektur von boolscher Algebra und Digitaler Logik bis Risc-Architekturen sowie derArchitektur der Intel-PC-Mikroprozessorfamile. Grundlegende Kenntnisse der Betriebssysteme werden beispielhaft an Unix und Windows vertieft. Rechnernetze werdenanhand der verschiedenen Technologien und Protokollen erläutert.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Einführung in das Operations Research
14,99 € *
ggf. zzgl. Versand

Skript aus dem Jahr 2003 im Fachbereich Informatik - Theoretische Informatik, Duale Hochschule Baden Württemberg Mosbach, Veranstaltung: Operations Research, Sprache: Deutsch, Abstract: Während die vordergründigen Handwerkszeuge des Informatikers, Software und Hardware, einem kaum greifbaren Wandel unterliegen - was heute gelernt wird, ist morgen schon wieder veraltet - stehen die zugrunde legenden Strukturen als unverrückbare Invarianten fest. Ihr Verständnis stellt somit eine notwendige Bedingung sowohl für tiefer gehende Einsichten, als auch für einen verstandesgemäßen Gebrauch der Anwendungen dar. In der Informatik sind diese Strukturen insbesondere die Logik und daran anknüpfend der Algorithmus. Beide haben eine mehr als zweitausendjährige Geschichte (vgl. den berühmten Euklid´schen Divisionalalgorithmus!). Während diese Begriffe allgemein im Rahmen der Theoretischen Informatik abgehandelt werden, sollen hier nun darauf aufbauend, exemplarisch konkrete Algorithmen und insbesondere die fundamentalen Entwurfstechniken dargestellt werden. Diese wurden im Wesentlichen in den sechziger Jahren des vorigen Jahrhunderts entwickelt und gelten bis heute unverändert. Entsprechend dem Studiengang Wirtschaftsinformatik, für den diese Vorlesung konzipiert ist, werden beispielhaft einige ökonomische Anwendungen aufgezeigt. Die Monographie stellt die Grundlage einer dreißigstündigen Vorlesung an der Dualen Hochschule Mosbach dar. Sie schließt an die Vorlesung über theoretische Informatik an und setzt Grundlagen in diesem Bereich im Wesentlichen voraus.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Logik für Informatiker als Buch von Bernhard He...
32,99 € *
ggf. zzgl. Versand

Logik für Informatiker:Eine Einführung Leitfäden und Monographien der Informatik Bernhard Heinemann, Thomas Ottman

Anbieter: Hugendubel.de
Stand: 02.04.2019
Zum Angebot
Lehrbuch der Softwaretechnik: Basiskonzepte und...
54,99 € *
ggf. zzgl. Versand

Die Softwaretechnik bildet einen Grundpfeiler der Informatik. Jede Softwareentwicklung basiert auf Prinzipien, Methoden und Werkzeugen. Mit Basiskonzepten kann die Statik, Dynamik und Logik von Softwaresystemen beschrieben und modelliert werden. Die Anforderungen an ein neues Softwareprodukt zu ermitteln, zu spezifizieren, zu analysieren, zu validieren und daraus eine fachliche Lösung abzuleiten bzw. ein Produktmodell zu entwickeln, gehört mit zu den anspruchsvollsten Aufgaben innerhalb der Softwaretechnik. Dieser Band des dreiteiligen Lehrbuchs der Softwaretechnik vermittelt in systematischer und klassifizierender Art und Weise die Basistechniken und die Basiskonzepte der Softwareentwicklung und beschreibt die Aktivitäten, Artefakte und Methoden des Requirements Engineering . Das Buch besteht aus 4 Teilen und 27 Kapiteln. Das Buch kann zur Vorlesungsbegleitung, zum Selbststudium und zum Nachschlagen verwendet werden.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Grundkurs Künstliche Intelligenz
29,99 € *
ggf. zzgl. Versand

Alle Teilgebiete der KI werden mit dieser Einführung kompakt, leicht verständlich und anwendungsbezogen dargestellt. Hier schreibt jemand, der das Gebiet nicht nur bestens kennt, sondern auch in der Lehre engagiert und erfolgreich vertritt. Von der klassischen Logik über das Schließen mit Unsicherheit und maschinelles Lernen bis hin zu Anwendungen wie Expertensysteme oder lernfähige Roboter. Neben dem umfassenden Einblick in dieses faszinierende Teilgebiet der Informatik gewinnen Sie vertiefte Kenntnisse, z. B. hinsichtlich wichtiger Verfahren zur Repräsentation und Verarbeitung von Wissen. Der Anwendungsbezug steht im Fokus der Darstellung. Viele Übungsaufgaben mit Lösungen sowie strukturierte Verweise auf Literatur und Ressourcen im Web ermöglichen ein effektives und kurzweiliges Selbststudium. Für die 3. Auflage ...

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot
Künstliche Intelligenz
69,95 € *
ggf. zzgl. Versand

Die dritte Auflage dieses Informatik-Klassikers wurde von Grund auf komplett überarbeitet und an die neuesten Entwicklungen der KI angepasst. Die Autoren verstehen es dabei, die KI in ihrem ganzen Themenspektrum für die Studierenden verständlich und nachvollziehbar dazustellen. Sie behandeln alle relevanten Aspekte der KI von der Logik und der Wahrscheinlichkeitstheorie über den Bereich des Wahrnehmens, Denkens, Lernens und Handelns bis zu mikroelektronischen Geräten und Robotern. Erweitert um moderne Such- und Sprachalgorithmen sowie Lernen mit neuronalen Netzen setzt diese Werk einen neuen Standard, den kein anderes Werk derzeit zu leisten vermag. Die dritte Auflage dieses Informatik-Klassikers wurde von Grund auf komplett überarbeitet und an die neuesten Entwicklungen der KI angepasst. Die Autoren verstehen es dabei, die KI in ihrem ganzen Themenspektrum für die Studierenden verständlich und nachvollziehbar dazustellen. Sie behandeln alle relevanten Aspekte der KI von der Logik und der Wahrscheinlichkeitstheorie über den Bereich des Wahrnehmens, Denkens, Lernens und Handelns bis zu mikroelektronischen Geräten und Robotern. Erweitert um moderne Such- und Sprachalgorithmen sowie Lernen mit neuronalen Netzen setzt diese Werk einen neuen Standard, den kein anderes Werk derzeit zu leisten vermag. STUART RUSSEL ist Professor für Informatik an der University of California in Berkeley und leitet das Center for intellegent Systems PETER NORVIG ist Director for Search Quality bei Google Inc. ÜBER DEN FACHLEKTOR Professor FRANK KIRCHNER ist Direktor des Deutschen Forschungszentrums für künstliche Intelligenz in Bremen (DKFI). Zudem ist er Vorsitzender im Komitee für Programmentwicklung KI an den Deutschen Universitäten.

Anbieter: buecher.de
Stand: 15.04.2019
Zum Angebot