Catalog > Ciência > Ciência da Computação > Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

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

Apoio

Capa do Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

€109.95

Tabela de Conteúdo

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

Compre este e-book e ganhe mais 1 GRÁTIS!

Língua Alemão ● Formato PDF ● Páginas 165 ● ISBN 9783110701920 ● Tamanho do arquivo 40.9 MB ● Editora De Gruyter ● Cidade Berlin/München/Boston ● Publicado 2020 ● Edição 1 ● Carregável 24 meses ● Moeda EUR ● ID 7913665 ● Proteção contra cópia Adobe DRM

Requer um leitor de ebook capaz de DRM

Mais ebooks do mesmo autor(es) / Editor

Hans-Jorg Kreowski

74.702 Ebooks nesta categoria

Capa do Robert Rybaric: Microsoft Power Platform Up and Running

Robert Rybaric: Microsoft Power Platform Up and Running

The author of ‘Microsoft Power Platform Up and Running’ is an experienced subject expert on technology, so the book is engaging, well-illustrated, and aims to make it easier to implement the technolo …

Capa do Frank Piepiorra: Vtiger CRM v6.5.0 - User and Administration Manual

Frank Piepiorra: Vtiger CRM v6.5.0 – User and Administration Manual

The vtiger CRM is one of the most exciting and best professional-quality Open Source CRM products for small and medium enterprises today. This book covers the CRM version 6.5.0 and is a step-by-step …

Capa do Ajit Singh: 5 G Technologies

Ajit Singh: 5 G Technologies

Capa do Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Bhawna Sharma: Touchpad Prime Ver. 2.1 Class 5

Computer Science Textbook Designed for Joyful Learning KEY FEATURES – National Education Policy 2020 – QR Code: Scan the QR Code given on each chapter to start chapter animation. – Fun Fact!: This pr …

Capa do Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

Nidhi Arora: Trackpad Pro Ver. 5.0 Class 5

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 …

Capa do Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4

Nidhi Gupta: Touchpad Plus Ver. 4.0 Class 4

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 …

Capa do 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 …

Capa do El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide - An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

El-Princess & El-Ivan Taylor: Understanding the Basics About Bitcoin & Other Cryptocurrencies, The Beginner’s 101 Guide – An Introductory Explanation for Beginners, The first most comprehensive book to understanding cryptocurrency with step-by-step instru

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 …

Capa do Sanjiv Purba: New Directions in Internet Management

Sanjiv Purba: New Directions in Internet Management

What is the business model for making money on the Internet and how does it function? The answer to this question will determine the shape of the Internet over the near term. As the Internet business …

Capa do Sanjiv Purba: High-Performance Web Databases

Sanjiv Purba: High-Performance Web Databases

As Web-based systems and e-commerce carry businesses into the 21st century, databases are becoming workhorses that shoulder each and every online transaction. For organizations to have effective 24/7 …

Próxima página >>>