Catalog > Științe > Informatică > Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

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

Ajutor

Copertina de Hans-Jörg Kreowski: Logische Grundlagen der Informatik (PDF)

€109.95

Cuprins

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

Cumpărați această carte electronică și primiți încă 1 GRATUIT!

Limba Germana ● Format PDF ● Pagini 165 ● ISBN 9783110701920 ● Mărime fișier 40.9 MB ● Editura De Gruyter ● Oraș Berlin/München/Boston ● Publicat 2020 ● Ediție 1 ● Descărcabil 24 luni ● Valută EUR ● ID 7913665 ● Protecție împotriva copiilor Adobe DRM

Necesită un cititor de ebook capabil de DRM

Mai multe cărți electronice de la același autor (i) / Editor

Hans-Jorg Kreowski

74.702 Ebooks din această categorie

Copertina de 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 …

Copertina de 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 …

Copertina de Ajit Singh: 5 G Technologies

Ajit Singh: 5 G Technologies

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Copertina de 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 …

Pagina următoare >>>