C-theorem - PDFSEARCH.IO - Document Search Engine

C-theorem
Results: 386

#	Item
321	Artificial Intelligence/ Language Processing C. Montgomery Editor Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:58:04 Automated theorem proving Predicate logic Programming paradigms Grammar First-order logic Semantic network Unification Resolution Semantics Logic Mathematics Mathematical logic
322	R Foundations and Trends in Theoretical Computer Science Vol. 2, No[removed]–195 c 2006 V. Guruswami Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-04-02 21:04:55 Mathematics Theoretical computer science List decoding Decoding methods Binary symmetric channel Forward error correction Reed–Solomon error correction Concatenated error correction code Noisy-channel coding theorem Coding theory Error detection and correction Discrete mathematics
323	THEORY OF THE INTEGRAL Brian S. Thomson Simon Fraser University C LASSICAL R EAL A NALYSIS . COM Add to Reading List Source URL: classicalrealanalysis.info Language: English - Date: 2013-06-17 21:16:31 Ralph Henstock Henstock–Kurzweil integral Integral Lebesgue integration Dominated convergence theorem Lebesgue differentiation theorem Riemann integral Riemann–Stieltjes integral Lebesgue–Stieltjes integration Mathematical analysis Measure theory Henri Lebesgue
324	THE CALCULUS INTEGRAL Brian S. Thomson Simon Fraser University C LASSICAL R EAL A NALYSIS . COM Add to Reading List Source URL: classicalrealanalysis.info Language: English - Date: 2012-02-05 21:18:35 Integral Riemann integral Fundamental theorem of calculus Antiderivative Henstock–Kurzweil integral Improper integral Henri Lebesgue Lebesgue integration Integration by parts Mathematical analysis Calculus Integral calculus
325	THEORY OF THE INTEGRAL Brian S. Thomson Simon Fraser University C LASSICAL R EAL A NALYSIS . COM Add to Reading List Source URL: classicalrealanalysis.info Language: English - Date: 2012-06-19 15:12:42 Real analysis Convergence Mathematical series Henri Lebesgue Ralph Henstock Henstock–Kurzweil integral Integral Lebesgue integration Dominated convergence theorem Mathematical analysis Measure theory Integral calculus
326	C:/Users/Annalisa/Dropbox/Public/2012 PhD thesis/Annalisa PhD Odysseia.dvi Add to Reading List Source URL: cvgmt.sns.it Language: English - Date: 2014-05-16 08:30:58 Calibrated geometry Differential geometry Riemannian geometry Current Calculus of variations Frobenius theorem Integral Mathematical analysis Differential topology Topology
327	The Reflection Theorem: A Study in Meta-Theoretic Reasoning Lawrence C. Paulson University of Cambridge, Computer Laboratory, JJ Thomson Avenue, Cambridge CB3 0FD, UK, [removed] Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2003-10-29 08:25:04 Ordinal numbers Constructible universe Axiom schema of replacement Absoluteness Zermelo–Fraenkel set theory Normal function Forcing Boolean-valued model Mathematical logic Mathematics Set theory
328	Distrib. Comput[removed]DOI[removed]s00446[removed]SPECIAL ISSUE: DISC 04 Hagit Attiya · Fabian Kuhn · C. Greg Plaxton · Add to Reading List Source URL: distcomp.ethz.ch Language: English - Date: 2010-04-22 04:44:55 Analysis of algorithms Probabilistic complexity theory Randomized algorithm SL Time complexity Matching Algorithm Algorithmic Lovász local lemma Immerman–Szelepcsényi theorem Theoretical computer science Computational complexity theory Applied mathematics
329	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
330	Computing π(x): An Analytic Method J. C. Lagarias A. M. Odlyzko Add to Reading List Source URL: www.dtc.umn.edu Language: English - Date: 1998-04-13 22:09:53 Integer sequences Prime-counting function Prime number theorem Prime number Function Logarithm Riemann zeta function Exponentiation Big O notation Mathematics Mathematical analysis Analytic number theory

UPDATE