Zum Inhalt springen
  • Bücher online kaufen
  • Bestseller und mehr
  • E-Books online lesen
Buecher-Stube.deBuecher-Stube.de
  • E-Books
  • Magazin
  • Bücher
    Bücher-Reihen
    Cartoons & Comic
    Erotik
    Fachbücher
    Fantasy & Science Fiction
    Freizeit & Hobby
    Fremdsprachige Bücher
    Geschenkbücher
    Horror
    Jugendbücher
    Kalender
    Kinderbücher
    Kochen & Backen
    Krimis & Thriller
    Manga
    Ratgeber
    Reisen
    Romane & Erzählungen
    Sachbücher
    SALE
    Schule & Lernen
  • Romane
  • Krimis & Thriller
  • Kinderbücher
  • Horror
  • Erotik
  • Kochen & Backen
  • Reisen
  • Fremdsprachige Bücher
Startseite » Bücher » Sachbücher » Computer & Internet » IT-Ausbildung & -Berufe » Informatik
Logik für Informatiker

Logik für Informatiker

29,99 €

Zum Partnershop

Artikelnummer: 9783827410054 Kategorie: Informatik
  • Bücher
    • BookTok
    • Bücher-Reihen
    • Cartoons & Comic
    • Erotik
    • Fachbücher
    • Fantasy & Science Fiction
    • Freizeit & Hobby
    • Fremdsprachige Bücher
    • Garten
    • Geschenkbücher
    • Horror
    • Jugendbücher
    • Kalender
    • Kinderbücher
    • Kochen & Backen
    • Krimis & Thriller
    • Manga
    • Ratgeber
    • Reisen
    • Romane & Erzählungen
    • Sachbücher
      • Biografien & Erinnerungen
      • Business & Karriere
      • Computer & Internet
        • Apple
        • Datenbanken
        • Grafik & Multimedia
        • Hardware & Technik
        • IT-Ausbildung & -Berufe
          • Informatik
          • Projektmanagement
          • Softwareentwicklung
          • Wirtschaftsinformatik
        • Künstliche Intelligenz
        • Lösungsbücher für PC- & Videospiele
        • Microsoft
        • Programmierung & Webdesign
        • Sicherheit
        • Unix & Linux
      • Esoterik
      • Kunst & Kultur
      • Naturwissenschaften & Technik
      • Politik & Geschichte
      • Religion & Glaube
    • SALE
    • Schule & Lernen
Partner
Beschreibung

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.

ISBN: 978-3-8274-1005-4

Bewertungen: 4.8 / 5. 581

Zusätzliche Informationen
Verlag

Spektrum der Wissenschaft

Ähnliche Produkte

Die Ausrichtung des IT-Service-Managements auf die Digitalisierung

Die Ausrichtung des IT-Service-Managements auf die Digitalisierung

44,99 €
SGML für die Praxis

SGML für die Praxis

39,99 €
Wirtschaftsinformatik

Wirtschaftsinformatik

79,95 €
Lean UX und Scrum - führende Ansätze zu agilem Design und agiler Entwicklung erfolgreich kombiniert

Lean UX und Scrum – führende Ansätze zu agilem Design und agiler Entwicklung erfolgreich kombiniert

27,99 €
Praxiswissen Softwaretest – Testmanagement

Praxiswissen Softwaretest – Testmanagement

44,90 €
Entwicklung verteilter Anwendungen

Entwicklung verteilter Anwendungen

34,99 €
Künstliche Intelligenz für Dummies

Künstliche Intelligenz für Dummies

22,49 €
Social Media und IT-Projektmanagement. Zur Nutzung sozialer Medien in Unternehmen

Social Media und IT-Projektmanagement- Zur Nutzung sozialer Medien in Unternehmen

17,95 €
  • Impressum
  • Datenschutz
Copyright 2025 © buecher-stube.de
  • buecher-stube.de Logo komplett dark
  • Bücher
    • Bücher-Reihen
    • Cartoons & Comic
    • Erotik
    • Fachbücher
    • Fantasy & Science Fiction
    • Freizeit & Hobby
    • Fremdsprachige Bücher
    • Geschenkbücher
    • Horror
    • Jugendbücher
    • Kalender
    • Kinderbücher
    • Kochen & Backen
    • Krimis & Thriller
    • Manga
    • Ratgeber
    • Reisen
    • Romane & Erzählungen
    • Sachbücher
    • SALE
    • Schule & Lernen
  • Romane
  • Krimis & Thriller
  • Kinderbücher
  • Horror
  • Erotik
  • Kochen & Backen
  • Reisen
  • Fremdsprachige Bücher
  • E-Books
  • Magazin
Close

zum Angebot