Wolfgang Bibel: Deduktion (PDF) < علوم الكمبيوتر < علوم الكمبيوتر < علوم < آخر الأخبار

Wolfgang Bibel
Deduktion
Automatisierung der Logik

الدعم

غلاف Wolfgang Bibel: Deduktion (PDF)

€109.95

قائمة المحتويات

Frontmatter — Inhalt — Vorwort der Herausgeber — Vorwort des Autors — 1. Einführung — 2. Deduktion in der Aussagenlogik — 3. Deduktion in der Prädikatenlogik — 4. Verdichtungen und Strategien — 5. Erweiterungen und Anwendungen — Anhang — 1. Aufgaben und Lösungen — 2. Literatur — 3. Deutsch-englisches Wörterbuch — 4. Liste der Symbole — 5. Register

قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!

لغة ألمانية ● شكل PDF ● صفحات 269 ● ISBN 9783110701128 ● حجم الملف 67.8 MB ● الناشر De Gruyter ● مدينة Berlin/München/Boston ● نشرت 2020 ● الإصدار 1 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 7913662 ● حماية النسخ Adobe DRM

يتطلب قارئ الكتاب الاليكتروني قادرة DRM

المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر

16٬016 كتب إلكترونية في هذه الفئة

غلاف Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

Alaknanda (Pantnagar, College of Technology, G.B. Pant University of Agriculture and Technology, Rudrapui, Uttarakhand, India) Ashok & Ankur Dumka: Advanced Digital Image Processing and Its Applications in Big Data

This book covers the technology of digital image processing in various fields with big data and their applications. Readers will understand various technologies and strategies used in digital image p …

غلاف Ron (University of South Carolina Upstate, SC, USA) Fulbright: Democratization of Expertise

Ron (University of South Carolina Upstate, SC, USA) Fulbright: Democratization of Expertise

We create technology enabling us to do things never before possible and it ultimately changes the way we live, work, play, and interact with each other. Throughout human history, the democratization …

غلاف Akshay B R & T S (Govt. College of Engineering Srirangam, Tamil Nadu) Murugesh: Machine Learning

Akshay B R & T S (Govt. College of Engineering Srirangam, Tamil Nadu) Murugesh: Machine Learning

Machine learning is a dynamic and rapidly expanding field focused on creating algorithms that empower computers to recognize patterns, make predictions and continually enhance performance. It enables …

غلاف T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

T.V. Pradeep Kumar & Bhavanari Satyanarayana: Mathematical Foundations of Computer Science

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each cha …

غلاف Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

Sangeeta Jadhav & Desai Rahul: Application of Communication Computational Intelligence and Learning

The special issue is dedicated to National conference on Communication, computational intelligence and learning-NCCCIL sponsored by AICTE and organized by Department of Information Technology at Army …

غلاف Francis (Professor of Sound Recording at the University of Surrey (UK); Fellow of the AES and contributor to the AES Journal) Rumsey: Sound and Recording

Francis (Professor of Sound Recording at the University of Surrey (UK); Fellow of the AES and contributor to the AES Journal) Rumsey: Sound and Recording

Providing vital reading for audio students and trainee engineers, Sound and Recording is the essential guide for anyone who wants a solid grounding in both theory and industry practices in audio, sou …

غلاف Ying Bai: The Windows Serial Port Programming Handbook

Ying Bai: The Windows Serial Port Programming Handbook

The popularity of serial communications demands that additional serial port interfaces be developed to meet the expanding requirements of users. The Windows Serial Port Programming Handbook …

غلاف Christopher Barney: Pattern Language for Game Design

Christopher Barney: Pattern Language for Game Design

Chris Barney’s Pattern Language for Game Design builds on the revolutionary work of architect Christopher Alexander to show students, teachers, and game development professionals how to derive best p …

غلاف Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

Li Chen & Jing Tian: Intelligent Image and Video Interpretation: Algorithms and Applications

غلاف Duarte (Technical University of Lisbon, Portugal) Araujo & Micael Couceiro: Artificial Intelligence in Sport Performance Analysis

Duarte (Technical University of Lisbon, Portugal) Araujo & Micael Couceiro: Artificial Intelligence in Sport Performance Analysis

To understand the dynamic patterns of behaviours and interactions between athletes that characterize successful performance in different sports is an important challenge for all sport practitioners. …

الصفحة التالية >>>