Free Boolean algebra - PDFSEARCH.IO - Document Search Engine

Free Boolean algebra
Results: 12

#	Item
1	Towards a Unified Treatment of Induction, I: The General Recursion Theorem Paul Taylor 1995–6 Abstract The recursive construction of a function f : A → Θ consists, paradigmatically, of finding Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:52:32 Category theory Functional programming Algebras Boolean algebra F-algebra Functor Algebraic structure Ordinal number F-coalgebra Adjoint functors Constructible universe Free algebra
2	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology
3	The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/ Add to Reading List Source URL: spot.colorado.edu Language: English Large cardinals Mathematical logic Mathematics Abstraction Cardinal number Free Boolean algebra Model theory Mahlo cardinal Weakly compact cardinal
4	Boolean Decision Functions Steven Finch April 22, 2015 Let  : {0 1} → {0 1} be the Boolean function that decides whether a given ( + 1)-bit odd integer is square-free. More precisely, ½ Add to Reading List Source URL: www.people.fas.harvard.edu Language: English - Date: 2015-04-21 10:31:24 Integer sequences Algebra Polynomials FO Computational complexity theory Prime number Primality test Square-free integer Irreducible polynomial Mathematics Theoretical computer science Complexity classes
5	AN INTRODUCTION TO PROLOG III 1 An Introduction to Prolog III Add to Reading List Source URL: alain.colmerauer.free.fr Language: English - Date: 2010-09-28 13:14:56 Prolog Constraint programming Programming paradigms Information Processing Language Constraint logic programming Logic programming Boolean algebra B-Prolog Software engineering Computing Computer programming
6	COMP4161 S2/2014 Advanced Topics in Software Verification Assignment 1 This assignment starts on Mon, [removed]and is due on Tue, [removed], 23:59h. We will accept plain text (.txt) files, PDF (.pdf) files, and Isabel Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Quantification Boolean algebra Propositional calculus Lambda calculus Universal quantification Existential quantification Mathematical proof Free variables and bound variables Negation Mathematical logic Logic Mathematics
7	Note to other teachers and users of these slides. Andrew would be delighted if you found this source material useful in giving your own lectures. Feel free to use these slides verbatim, or to modify them to fit your own Add to Reading List Source URL: www.autonlab.org Language: English - Date: 2008-07-07 16:16:22 Numerical software Boolean algebra CDC software COMPASS/Sample Code
8	A Truth-Conditional Account of Free-Choice Disjunction Graeme Forbes 1. Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2014-04-02 18:50:11 Propositional calculus Mathematical logic Logical connectives Semantics Grammar Negation Logical disjunction Boolean algebra Logic Abstract algebra
9	Using SAT-Solvers to Compute Inference-Proof Database Instances (Abstract Version) Cornelia Tadros and Lena Wiese Technische Universitat Dortmund, 44221 Dortmund, Germany {tadros,wiese}@ls6.cs.uni-dortmund.de Add to Reading List Source URL: wiese.free.fr Language: English - Date: 2009-06-22 13:18:06 Logic in computer science Boolean algebra Propositional calculus Operations research Combinatorial optimization Maximum satisfiability problem Interpretation Mathematical optimization Solver Mathematics Theoretical computer science Mathematical logic
10	Free Heyting algebras: revisited N. Bezhanishvili1⋆ 1 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2013-01-22 10:09:34 Mathematical logic Algebraic structures Mathematical constructivism Order theory Boolean algebra Heyting algebra Distributive lattice Lattice Intuitionistic logic Mathematics Abstract algebra Lattice theory

UPDATE