Suggested Topics within your search.
Search alternatives:
"mathematical logic" » "mathematical model" (Expand Search), "mathematical physics" (Expand Search)
Showing 1 - 8 results of 8 for search '"mathematical logic"', query time: 0.14s Refine Results
  1. 1
    New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Löwe, Leen Torenvliet.

    New Computational Paradigms First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings / edited by S. Barry Cooper, Benedikt Lö... by Cooper, S. B. (S. Barry)

    Published 2005
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Computation Engineering Applied Automata Theory and Logic / by Ganesh Gopalakrishnan.

    Computation Engineering Applied Automata Theory and Logic / by Ganesh Gopalakrishnan. by Gopalakrishnan, Ganesh

    Published 2006
    Table of Contents: “…Foreword -- Introduction -- Mathematical Preliminaries -- Cardinalities and Diagonalization -- Binary Relations -- Mathematical Logic, Induction, Proofs -- Dealing with Recursion -- Strings and Languages -- Machines, Languages, DFA -- NFA and Regular Expressions -- Operations on Regular Machinery -- The Automaton/Logic Connection, Symbolic Techniques -- The `Pumping' Lemma -- Context-free Languages -- Push-down Automata and Context-free Grammars -- Turing Machines -- Basic Undecidability Proofs -- Advanced Undecidability Proofs -- Basic Notions in Logic including SAT -- Complexity Theory and NP-Completeness -- DFA for Presburger Arithmetic -- Model Checking: Basics -- Model Checking: Temporal Logics -- Model Checking: Algorithms -- Conclusions.…”
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  3. 3
    Modeling Time in Computing by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi.

    Modeling Time in Computing by Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi. by Furia, Carlo A., 1979-

    Published 2012
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  4. 4
    Computable Models by Raymond Turner.

    Computable Models by Raymond Turner. by Turner, Raymond

    Published 2009
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  5. 5
    Cognitive Reasoning A Formal Approach / by Tamás Gergely, Oleg M. Anshakov.

    Cognitive Reasoning A Formal Approach / by Tamás Gergely, Oleg M. Anshakov. by Gergely, T. (Tamás)

    Published 2010
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  6. 6
    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich.

    Pillars of Computer Science Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday / edited by Arnon Avron, Nachum Dershowitz, Alexander Rabinovich. by Avron, Arnon

    Published 2008
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    New Computational Paradigms Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi.

    New Computational Paradigms Changing Conceptions of What is Computable / edited by S. Barry Cooper, Benedikt Löwe, Andrea Sorbi. by Cooper, S. B. (S. Barry)

    Published 2008
    Full text (Wentworth users only).
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Formal Concept Analysis Mathematical Foundations / by Bernhard Ganter, Rudolf Wille.

    Formal Concept Analysis Mathematical Foundations / by Bernhard Ganter, Rudolf Wille. by Ganter, Bernhard, Wille, Rudolf

    Published 2024
    Get full text
    Electronic eBook
    Save to List
    Saved in:

Search Tools: