Knaster–Tarski theorem - PDFSEARCH.IO - Document Search Engine

Knaster–Tarski theorem
Results: 12

#	Item
1	Scribe Notes: Game Theory in Formal Verification, Krishnendu Chatterjee Lecture 3 Matthias F¨ ugger, March 25, 2010 Add to Reading List Source URL: pub.ist.ac.at Language: English - Date: 2010-03-25 12:26:50 Entailment Logical consequence Metalogic Philosophical logic Function Knaster–Tarski theorem Logic Mathematics Deduction
2	A classical ergodic property for IFS: A simple proof B. Forte1;2 , F. Mendivil2 1 Facolta di Scienze MM. FF. e NN. a Ca Vignal Add to Reading List Source URL: links.uwaterloo.ca Language: English - Date: 2007-07-23 21:51:05 Integration by substitution Fourier analysis Measure theory Mathematical series Asymptotic equipartition property Knaster–Tarski theorem Mathematical analysis Mathematics Ergodic theory
3	Existence and Uniqueness of a Fixed Point for the Bellman Operator in Deterministic Dynamic Programming∗ Takashi Kamihigashi† February 19, 2012 Add to Reading List Source URL: www.parisschoolofeconomics.eu Language: English - Date: 2012-12-19 15:58:44 Operator Theorems and definitions in linear algebra Mathematics Knaster–Tarski theorem Order theory
4	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics Mart´ın Escard´ o University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-10 03:10:32 Computability theory Function Primitive recursive function Principia Mathematica Knaster–Tarski theorem Mathematics Functions and mappings Mathematical logic
5	Overview Modelling Algorithmic Verification Comp4151 Lecture 4-B Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Order theory Knaster–Tarski theorem Functions and mappings Symbol Entailment Function Linear temporal logic Logic Mathematics Abstraction
6	Last Time ➜ Sets COMP 4161 NICTA Advanced Course Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Theoretical computer science Ordinal number Applied mathematics Abstraction Knaster–Tarski theorem Mathematics Order theory Computability theory
7	Nothing can be fixed Keye Martin Naval Research Laboratory Washington, DC[removed]removed] Add to Reading List Source URL: www.nearmidnight.com Language: English - Date: 2013-03-09 17:56:21 Structure Semigroup theory Category theory Monoid Complete partial order Domain theory Fixed-point theorem Knaster–Tarski theorem Congruence lattice problem Mathematics Abstract algebra Order theory
8	On the Origins of Bisimulation and Coinduction DAVIDE SANGIORGI University of Bologna, Italy The origins of bisimulation and bisimilarity are examined, in the three fields where they have been independently discovered: C Add to Reading List Source URL: www.cs.unibo.it Language: English - Date: 2009-04-06 03:37:20 Mathematical logic Category theory Logic in computer science Order theory Functional programming Bisimulation Coinduction Knaster–Tarski theorem F-coalgebra Mathematics Theoretical computer science Applied mathematics
9	doi:[removed]j.jde[removed] Add to Reading List Source URL: adatbank.transindex.ro Language: English - Date: 2010-02-16 17:31:10 Fourier analysis Fractional calculus Lipschitz continuity Calculus of variations Sheaf Continuous function Knaster–Tarski theorem Ordinary differential equation Mathematical analysis Mathematics Sobolev spaces
10	Set Theory for Veriﬁcation: II Induction and Recursion Lawrence C. Paulson Computer Laboratory, University of Cambridge April 1995 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-04-29 07:49:52 Theory of computation Functions and mappings Order theory Models of computation Knaster–Tarski theorem Function Well-founded relation Lambda calculus Constructible universe Mathematics Mathematical logic Computability theory