Results 11  20
of
44
15819K: Logic Programming Lecture 26
, 2006
"... In this lecture we describe Datalog, a decidable fragment of Horn logic. Briefly, Datalog disallows function symbols, which means that the socalled Herbrand universe of ground instances of predicates is finite. Datalog has applications in databases and, more recently, in program analysis and relate ..."
Abstract
 Add to MetaCart
In this lecture we describe Datalog, a decidable fragment of Horn logic. Briefly, Datalog disallows function symbols, which means that the socalled Herbrand universe of ground instances of predicates is finite. Datalog has applications in databases and, more recently, in program analysis
unknown title
"... Using XML for structuring the chemical information: Towards a chemical knowledge representation Lecture dedicated to the memory of JacquesEmile Dubois ..."
Abstract
 Add to MetaCart
Using XML for structuring the chemical information: Towards a chemical knowledge representation Lecture dedicated to the memory of JacquesEmile Dubois
Munich Lectures in Economics G R O W
"... Despite significant gains in promoting economic growth and living conditions (or “human progress”) globally over the last twentyfive years, much of the developing world remains plagued by poverty and its attendant problems, including high rates of child mortality, illiteracy, environmental degradat ..."
Abstract
 Add to MetaCart
degradation, and war. In Growth and Empowerment, Nicholas Stern, JeanJacques Dethier, and F. Halsey Rogers propose a new strategy for development. Drawing on many years of work in development economics—in academia, in the field, and at international institutions such as the World Bank—the authors base
CS5238 Combinatorial Methods in Bioinformatics 2006/2007 Semester I Lecture 8: Motif finding
"... First discovered in 1961 by Francois Jacob and Jacques Monod in Paris, regulation genes are a type of gene that provides the instructions for creating proteins which help control the expression of other structural genes. These genes play a key role in gene expression. ..."
Abstract
 Add to MetaCart
First discovered in 1961 by Francois Jacob and Jacques Monod in Paris, regulation genes are a type of gene that provides the instructions for creating proteins which help control the expression of other structural genes. These genes play a key role in gene expression.
Five EssaysTHE CHURCHILL LECTURES IN ECONOMIC THEORY Economics and Language Five Essays
"... Arising out of the author’s lifetime fascination with the links between the formal language of mathematical models and natural language, this short book comprises five essays investigating both the economics of language and the language of economics. Ariel Rubinstein touches on the structure imposed ..."
Abstract
 Add to MetaCart
to encourage a fundamental rethinking of many of the underlying assumptions in economic theory and game theory. A postscript contains comments by a logician, Johan van Benthem (University of
LECTURE 2: THE TITS ALTERNATIVE AND KAZHDAN’S PROPERTY (T) (PRELIMINARY VERSION)
"... A very interesting large class of groups is provided by the linear groups, namely the subgroups of GLd(K), for some (commutative) field K. There are few general tools to study arbitrary finitely generated groups (often one has to resort to combinatorics and analysis as we did in Lecture 1 above for ..."
Abstract
 Add to MetaCart
A very interesting large class of groups is provided by the linear groups, namely the subgroups of GLd(K), for some (commutative) field K. There are few general tools to study arbitrary finitely generated groups (often one has to resort to combinatorics and analysis as we did in Lecture 1 above
Schemata: the Concept of Schema in the History of Logic
 Bulletin of Symbolic Logic 12
"... Abstract. Schemata have played important roles in logic since Aristotle’s Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 19 ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
is approximated by Herbrand’s InductionAxiom Schema [23]. Similarly, in firstorder set theory, Zermelo’s secondorder SeparationAxiom is approximated by Fraenkel’s firstorder Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which
The Characteristics of Mathematical Creativity
"... Mathematical creativity ensures the growth of mathematics as a whole. However, the source of this growth, the creativity of the mathematician, is a relatively unexplored area in mathematics and mathematics education. In order to investigate how mathematicians create mathematics, a qualitative study ..."
Abstract

Cited by 17 (1 self)
 Add to MetaCart
creation (Ervynck, 1991). The earliest known attempt to study mathematical creativity was an extensive questionnaire published in the French periodical L'Enseigement Mathematique (1902). This questionnaire and a lecture on creativity given by the renowned 20th century mathematician Henri Poincaré
SOLUTION OF A QUESTION OF KNARR
, 2007
"... The Moufang condition is one of the central group theoretical conditions in Incidence Geometry, and was introduced by Jacques T its in his famous lecture notes (1974). About ten years ago, Norbert Knarr studied generalized quadrangles (buildings of Type B2) which satisfy one of the Moufang conditio ..."
Abstract
 Add to MetaCart
The Moufang condition is one of the central group theoretical conditions in Incidence Geometry, and was introduced by Jacques T its in his famous lecture notes (1974). About ten years ago, Norbert Knarr studied generalized quadrangles (buildings of Type B2) which satisfy one of the Moufang
Detecting the logical content: Burley’s ‘Purity of Logic
 in We Will Show Them! Essays in Honour of Dov Gabbay on his 60th Birthday
, 2005
"... In one of his inaugural lectures Dov Gabbay demonstrated God’s providence as follows—I quote from memory. God had seen fit to send his revelation to mankind in a language with no verb tenses. (In classical Hebrew the verb forms are distinguished as perfective, imperfective, passive, reduplicative, e ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In one of his inaugural lectures Dov Gabbay demonstrated God’s providence as follows—I quote from memory. God had seen fit to send his revelation to mankind in a language with no verb tenses. (In classical Hebrew the verb forms are distinguished as perfective, imperfective, passive, reduplicative
Results 11  20
of
44