Boole - PDFSEARCH.IO - Document Search Engine

Boole
Results: 148

#	Item
11	Irish Math. Soc. Bulletin Number 74, Winter 2014, 97–101 ISSNDesmond MacHale: The Life and Work of George Boole: A Prelude to the Digital Age, Cork University Add to Reading List Source URL: mathsci.ucd.ie Language: English - Date: 2015-01-14 14:27:10
12	Euclid’s Elements as an Equational Theory Vaughan Pratt Stanford University 26 May, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-26 00:36:08 Algebra Mathematics Linear algebra Algebraic structures Abstract algebra Geometry Affine space Universal algebra Euclidean space Geometric algebra Space Foundations of geometry
13	February 2015 The Boole Zone coincided with Engineers Week in Ireland and it is the third I’m an Engineer zone to involve Irish schools and engineers. In total 377 students from 11 schools registered to take part, maki Add to Reading List Source URL: imanengineer.ie Language: English - Date: 2015-03-10 06:48:50
14	Aristotle, Boole, and Categories Vaughan Pratt October 12, 2015 Abstract We propose new axiomatizations of the 24 assertoric syllogisms of Arisn totle’s syllogistic, and the 22 n-ary operations of Boole’s algebraic l Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-10-12 12:39:56 Logic Classical logic Arguments Term logic Syllogism Rules of inference Propositional calculus Axiom Hypothetical syllogism Disjunctive syllogism Inference First-order logic
15	Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-31 14:37:32 Syntax Formal languages Cognitive science Grammar Linguistics Language Noam Chomsky Context-free grammar Transformational grammar Formal grammar Phrase structure grammar Syntactic Structures
16	Linear process algebra LPA Vaughan Pratt Stanford University October 19, 2011 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2011-10-20 01:25:42 Linear algebra Numerical analysis Denotational semantics Algebra over a field Matrix Vector space Algebra
17	bicentenary celebration GEORGE BOOLE 200 We have big plansBoole Outreach Programme Bringing Boole alive as an inspiring Add to Reading List Source URL: www.georgeboole.com Language: English* - Date: 2014-11-05 11:50:36
18	4 Arithmetik Die in den vorhergehenden Kapiteln vorgestellten Schaltungen haben ausschließlich einfache, Boole’sche Signale verarbeitet. In diesem Kapitel wird nun erkl¨ art, wie Prozessoren mit Zahlen umgehen. Wir s Add to Reading List Source URL: www.springer.com Language: German - Date: 2016-03-05 19:24:28
19	Presketches: Algebra without algebras via categories without functors Vaughan Pratt Stanford University April 2010 Abstract Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2010-04-08 06:04:04 Mathematics Category theory Algebra Functors Sheaf theory Adjoint functors Topos Topos theory Equivalence of categories Sheaf Natural transformation Subcategory
20	Aristotle, Boole, and Chu Duality since 350 BC Vaughan Pratt Stanford University August 27, 2015 Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-08-27 01:51:39 Logic Mathematical logic Abstraction Boolean algebra Term logic Classical logic Arguments Syllogism Propositional calculus George Boole Converse Prior Analytics

UPDATE