Електронна книга > Наука > Информатика > Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

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

поддержка

Обложка Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

€109.95

Содержание

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

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык немецкий ● Формат PDF ● страницы 165 ● ISBN 9783110701920 ● Размер файла 40.9 MB ● издатель De Gruyter ● город Berlin/München/Boston ● опубликованный 2020 ● Издание 1 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 7913665 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Hans-Jorg Kreowski

74 651 Электронные книги в этой категории

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка 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 …

Обложка Borislav Arapchev: Betenemy.com: Betting Guide for Beginners

Borislav Arapchev: Betenemy.com: Betting Guide for Beginners

Следущая страница >>>