Proof theory - PDFSEARCH.IO - Document Search Engine

Proof theory
Results: 1637

#	Item
991	Finance and Economics Discussion Series Divisions of Research & Statistics and Monetary Affairs Federal Reserve Board, Washington, D.C. Robust Dynamic Optimal Taxation and Environmental Externalities Add to Reading List Source URL: www.federalreserve.gov Language: English - Date: 2014-09-19 16:21:23 Mathematics Natural deduction Connection Proof theory Symbol
992	Could a purpose built supercomputer play DEF CON Capture the Flag? Mike Walker Program Manager Approved for Public Release, Distribution Unlimited Add to Reading List Source URL: cgc.darpa.mil Language: English - Date: 2014-07-31 13:05:00 Games Recreation Model theory Proof theory Capture the flag Competitive programming DEF CON Undecidable problem Software distribution Mathematical logic First-person shooters TopCoder
993	7th Floor, World Trade Centre, Accra, GPO Box 608-Accra, Ghana T[removed]F[removed] Please fill in BLOCK LETTERS (All information as applicable below is mandatory) Applicants must submit copy of proof o Add to Reading List Source URL: www.westoncapitalgroup.com Language: English - Date: 2014-03-26 17:11:29 C programming language Struct Information theory
994	Appendix 5.1 Proof of Theorem 3 Theorem 3 is the main technical result of this paper. Proofs of other utility results (Theorem 4, Add to Reading List Source URL: www.stat.cmu.edu Language: English - Date: 2011-12-21 08:46:14 Maximum likelihood Estimation theory Statistics Statistical theory
995	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: kambing.ui.ac.id Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
996	Retargeting OpenAxiom to Poly/ML: Towards an Integrated Proof Assistants and Computer Algebra System Framework Gabriel Dos Reis1 , David Matthews2 , and Yue Li1 1 Add to Reading List Source URL: paradise.caltech.edu Language: English - Date: 2014-05-18 16:53:02 Functional languages Procedural programming languages Standard ML ML Lambda calculus Function Axiom Valuation Type system Mathematics Programming language theory Software engineering
997	The square root of 2 ain’t rational A Casual Talk By Pete Agoras Some centuries B.C. Add to Reading List Source URL: ctan.unsw.edu.au Language: English - Date: 2010-07-27 10:29:04 Integer sequences Number theory Mathematical series Figurate numbers Square root of 2 Mathematical proof 2K Square root Pi Mathematics Numbers Mathematical analysis
998	NOTES The Mathematical Method via One-variable Calculus Ma1a Fall 2010 DINAKAR RAMAKRISHNAN Add to Reading List Source URL: www.math.caltech.edu Language: English - Date: 2010-10-01 16:20:10 Proof theory Number theory Diophantine equations Coprime Mathematical fallacy FO Mathematical induction Proof that π is irrational Binomial coefficient Mathematics Mathematical proofs Mathematical logic
999	The square root of 2 ain’t rational A Casual Talk By Pete Agoras Some centuries B.C. Add to Reading List Source URL: ctan.yazd.ac.ir Language: English - Date: 2010-07-27 10:29:04 Integer sequences Number theory Mathematical series Figurate numbers Square root of 2 Mathematical proof 2K Square root Pi Mathematics Numbers Mathematical analysis
1000	Two Properties of Expenditure functions Proof that e(p, u) is a concave function of p. Proof: We want to show that for any u and any two price vectors p and p0 , and for any λ between 0 and 1, λe(p, u) + (1 − λ)e(p0 Add to Reading List Source URL: www.econ.ucsb.edu Language: English - Date: 2011-10-18 17:00:43 Quantum mechanics Ordinary differential equations Spectral theory Representation theory of Lie groups Operator theory Physics Mathematical analysis