Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from the 10th meeting held in Kobe, Japan.

Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- History

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematical logic --- Logic, Symbolic and mathematical.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Cet ouvrage expose les méthodes et concepts élémentaires de la logique contemporaine dont la maîtrise est nécessaire pour qui veut aborder l'étude de la métalogique. Véritable manuel d'introduction, sa lecture ne requérant aucune connaissance particulière, il comporte deux parties correspondant à la division classique entre le calcul des énoncés et le calcul des prédicats. La première partie présente les connecteurs logiques d'un point de vue purement sémantique par la méthode des tables de vérité et par la méthode des matrices. Une attention particulière est portée aux questions de traduction en langue naturelle. Cet ouvrage pourra donc être utile à tous les étudiants de premier cycle qui amorcent une réflexion sur le langage. Les méthodes syntaxiques de vérification de la validité sont ensuite abordées : algèbre de Boole, méthode des arbres et méthode de déduction naturelle. Consacrée à l'étude du calcul des prédicats, la seconde partie en présente les notions fondamentales : modèle, satisfaction, vérité, validité. Sont ensuite développées la méthode des arbres et la méthode de déduction naturelle. De nombreux exercices originaux permettront au lecteur de vérifier au fur et à mesure sa compréhension de la matière. Plusieurs de ces exercices sont accompagnés de corrigés qui sont regroupés à la fin de chaque chapitre.

Logique mathématique --- Logic, Symbolic and mathematical --- Logic

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"This book explores when and why the rudiments of mathematical capability first appeared among human beings, what its fundamental concepts are, and how and why it has grown into the richly branching complex of specialties that it is today. It discusses whether the 'truths' of mathematics are discoveries or inventions and what prompts the emergence of concepts that appear to be descriptive of nothing in human experience. Also covered is the role of esthetics in mathematics: What exactly are mathematicians seeing when they describe a mathematical entity as "beautiful"? There is discussion of whether mathematical disability is distinguishable from a general cognitive deficit and whether the potential for mathematical reasoning is best developed through instruction." "This volume is unique in the vast range of psychological questions it covers, as revealed in the work habits and products of numerous mathematicians. It provides fascinating reading for researchers and students with an interest in cognition in general and mathematical cognition in particular. Instructors of mathematics will also find the book's insights illuminating."--BOOK JACKET.

Mathematical analysis. --- Reasoning. --- Logic, Symbolic and mathematical. --- Problem solving.