This data is correct as of December 2015 - for more up to date information, please visit https://opensyllabus.org/
So far, Altmetric has seen
this research output assigned in 2 syllabi from 1 institutions on Open Syllabus Project.
Computation Engineering : Applied Automata Theory and Logic
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Mathematical Preliminaries
-
Altmetric BadgeChapter 3 Cardinalities and Diagonalization
-
Altmetric BadgeChapter 4 Binary Relations
-
Altmetric BadgeChapter 5 Mathematical Logic, Induction, Proofs
-
Altmetric BadgeChapter 6 Dealing with Recursion
-
Altmetric BadgeChapter 7 Strings and Languages
-
Altmetric BadgeChapter 8 Machines, Languages, DFA
-
Altmetric BadgeChapter 9 NFA and Regular Expressions
-
Altmetric BadgeChapter 10 Operations on Regular Machinery
-
Altmetric BadgeChapter 11 The Automaton/Logic Connection, Symbolic Techniques
-
Altmetric BadgeChapter 12 The ‘Pumping’ Lemma
-
Altmetric BadgeChapter 13 Context-free Languages
-
Altmetric BadgeChapter 14 Push-down Automata and Context-free Grammars
-
Altmetric BadgeChapter 15 Turing Machines
-
Altmetric BadgeChapter 16 Basic Undecidability Proofs
-
Altmetric BadgeChapter 17 Advanced Undecidability Proofs
-
Altmetric BadgeChapter 18 Basic Notions in Logic including SAT
-
Altmetric BadgeChapter 19 Complexity Theory and NP-Completeness
-
Altmetric BadgeChapter 20 DFA for Presburger Arithmetic
-
Altmetric BadgeChapter 21 Model Checking: Basics
-
Altmetric BadgeChapter 22 Model Checking: Temporal Logics
-
Altmetric BadgeChapter 23 Model Checking: Algorithms
-
Altmetric BadgeChapter 24 Conclusions