Catalog > Naturwissenschaft > Informatik > Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

Hans-Jörg Kreowski
Logische Grundlagen der Informatik [PDF ebook]

Support

Cover von Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

€109.95

Inhaltsverzeichnis

Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Logik in der Informatik — 2. Beispiele logischer Beschreibungen — 3. Signaturen und Strukturen — 4. Terme, Formeln und ihre Auswertung — 5. Spezifikationen und Modelle — 6. Spezielle Situationen — 7. Folgern — 8. Ableiten — 9. Anwendungen in Skizzen — 10. Ausblick — Anhang

Dieses Ebook kaufen – und ein weitere GRATIS erhalten!

Sprache Deutsch ● Format PDF ● Seiten 165 ● ISBN 9783110701920 ● Dateigröße 40.9 MB ● Verlag De Gruyter ● Ort Berlin/München/Boston ● Erscheinungsjahr 2020 ● Ausgabe 1 ● herunterladbar 24 Monate ● Währung EUR ● ID 7913665 ● Kopierschutz Adobe DRM

erfordert DRM-fähige Lesetechnologie

Ebooks vom selben Autor / Herausgeber

Hans-Jorg Kreowski

74.651 Ebooks in dieser Kategorie

Cover von Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

Sumit Kapoor: AWS DevOps Engineer Professional Certification Guide

The AWS Dev Ops Engineer Professional Certification Guide is highly challenging and can significantly boost one’s career. It features scenario-based questions with lengthy descriptions, making compre …

Cover von El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide - An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

El-P. & El-I. Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, the Beginner’s 101 Guide – An Introductory Explanation for Beginners Part 1 the First Most Comprehensive Book to Understanding Cryptocurrency With Step-By-Step Instruct

Understanding the Basics About Bitcoin & Other Cryptocurrencies is the Beginner“s Go-To-Guide for Understanding Cryptocurrency and is intended to be used as a manual/handbook. It first lays the nece …

Cover von Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 4

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – Find on Google: This section asks a quick question from the present world. – Pure Fact: This pre …

Cover von Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 7

Computer Science Textbook with New Pedagogical Approaches KEY FEATURES – National Education Policy 2020 – Tech Funda: This section provides a practical information or tip to the students. – Clickiped …

Cover von Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

Nicholas Bernhardt Zeman: Essential Skills for 3D Modeling, Rendering, and Animation

The Key to Fully Understanding the Basics of a 3D World Prominently used in games, movies, and on television, 3D graphics are tools of creation used to enhance how material and light come together to …

Cover von Rollan Banez: Extending Creativity with Adobe Firefly

Rollan Banez: Extending Creativity with Adobe Firefly

<p><b>Learn how to use Generative AI to create images, add text and color effects, and perform image editing faster than ever with step-by-step guidance from a creative community leader a …

Cover von Tarun Vashishth: Cyber Forensics Up and Running

Tarun Vashishth: Cyber Forensics Up and Running

Digital forensics is the art and science of extracting the hidden truth and this book is your hands-on companion, bringing the world of digital forensics to life. Starting with the core principles of …

Cover von John M. Quick: Learn to Implement Games with Code

John M. Quick: Learn to Implement Games with Code

Game development is one of the most rewarding crafts of modern times. Not only is making games a wonderful lifelong hobby, but employment opportunities exist at many levels. Learn to Implement Games …

Cover von Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

Roberto (New Jersey Institute of Technology, Newark, New Jersey, USA) Rojas-Cessa: Interconnections for Computer Communications and Packet Networks

This book introduces different interconnection networks applied to different systems. Interconnection networks are used to communicate processing units in a multi-processor system, routers in communi …

Cover von Borislav Arapchev: Betenemy.com: Betting Guide for Beginners

Borislav Arapchev: Betenemy.com: Betting Guide for Beginners

nächste Seite >>>