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

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

Supporto

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

€109.95

Tabella dei contenuti

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

Acquista questo ebook e ricevine 1 in più GRATIS!

Lingua Tedesco ● Formato PDF ● Pagine 165 ● ISBN 9783110701920 ● Dimensione 40.9 MB ● Casa editrice De Gruyter ● Città Berlin/München/Boston ● Pubblicato 2020 ● Edizione 1 ● Scaricabile 24 mesi ● Moneta EUR ● ID 7913665 ● Protezione dalla copia Adobe DRM

Richiede un lettore di ebook compatibile con DRM

Altri ebook dello stesso autore / Editore

Hans-Jorg Kreowski

75.468 Ebook in questa categoria

Copertina di Hannu Krosing & Simon Riggs: PostgreSQL 9 Administration Cookbook LITE: Configuration, Monitoring and Maintenance

Hannu Krosing & Simon Riggs: PostgreSQL 9 Administration Cookbook LITE: Configuration, Monitoring and Maintenance

Written in the cookbook style, this book offers learning and techniques through recipes. It contains step-by-step instructions for administrators and developers to manage databases in Postgre SQL. Th …

Copertina di Chris (Computer Graphics Designer; Professor, Rochester Institute of Technology, NY, USA) Jackson: Flash + After Effects

Chris (Computer Graphics Designer; Professor, Rochester Institute of Technology, NY, USA) Jackson: Flash + After Effects

Flash Designers: push Flash to the next level with After Effects” robust toolset. CS5 delivers more complete integration of these two powerhouse applications-so you can expand your multimedia horizo …

Copertina di James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

James S. (Raleigh, North Carolina, USA) Tiller: A Technical Guide to IPSec Virtual Private Networks

What is IPSec? What”s a VPN? Why do the need each other? Virtual Private Network (VPN) has become one of the most recognized terms in our industry, yet there continuously seems to be different impre …

Copertina di Barry L. (Williams Technology Audit Services, Alton, Illinois, USA) Williams: Information Security Policy Development for Compliance

Barry L. (Williams Technology Audit Services, Alton, Illinois, USA) Williams: Information Security Policy Development for Compliance

Although compliance standards can be helpful guides to writing comprehensive security policies, many of the standards state the same requirements in slightly different ways. Information Security Poli …

Copertina di Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Nick Vandome: iPhone for Seniors in easy steps, 11th edition

Unlock the full potential of your i Phone with i Phone for Seniors in easy steps, 11th edition. This guide shows how to:Navigate your i Phone with confidence.Stay connected with family and friends th …

Copertina di B. V. (Galgotias University, Greater Noida, India) Babu & Ashish M. (Sultan Qaboos University, Sultanate of Oman) Gujarathi: Evolutionary Computation

B. V. (Galgotias University, Greater Noida, India) Babu & Ashish M. (Sultan Qaboos University, Sultanate of Oman) Gujarathi: Evolutionary Computation

Edited by professionals with years of experience, this book provides an introduction to the theory of evolutionary algorithms and single- and multi-objective optimization, and then goes on to discuss …

Copertina di Dan (York University, Toronto, Canada) Zhang: R for Programmers

Dan (York University, Toronto, Canada) Zhang: R for Programmers

This book discusses advanced topics such as R core programing, object oriented R programing, parallel computing with R, and spatial data types. The author leads readers to merge mature and …

Copertina di Miguel Angel (Algoma University, Sault Ste. Marie, ON, Canada) Garcia-Ruiz: Games User Research

Miguel Angel (Algoma University, Sault Ste. Marie, ON, Canada) Garcia-Ruiz: Games User Research

‘Fundamentally, making games is designing with others, everyone contributing from different angles towards the best possible product. Conclusively, Garcia-Ruiz has chosen a collection of chapters tha …

Copertina di Kandarpa Kumar Sarma & Manash Pratim Sarma: Intelligent Applications for Heterogeneous System Modeling and Design

Kandarpa Kumar Sarma & Manash Pratim Sarma: Intelligent Applications for Heterogeneous System Modeling and Design

Copertina di Gavin R. Bayfield: Certified Kubernetes Administrator (CKA) Exam Guide

Gavin R. Bayfield: Certified Kubernetes Administrator (CKA) Exam Guide

Kubernetes is the de facto industry-standard for production-grade container orchestration. The CNCF Certified Kubernetes Administrator (CKA) Certification is an in-demand, industry-recognised benchma …

Pagina successiva >>>