Précis de Logique Mathématique
Author: Joseph M. Bochenski
Publisher:
Published: 1948
Total Pages: 100
ISBN-13:
DOWNLOAD EBOOKRead and Download eBook Full
Author: Joseph M. Bochenski
Publisher:
Published: 1948
Total Pages: 100
ISBN-13:
DOWNLOAD EBOOKAuthor: J.M. Bochenski
Publisher: Springer Science & Business Media
Published: 2013-04-18
Total Pages: 109
ISBN-13: 9401705925
DOWNLOAD EBOOKThe work of which this is an English translation appeared originally in French as Precis de logique mathematique. In 1954 Dr. Albert Menne brought out a revised and somewhat enlarged edition in German (Grund riss der Logistik, F. Schoningh, Paderborn). In making my translation I have used both editions. For the most part I have followed the original French edition, since I thought there was some advantage in keeping the work as short as possible. However, I have included the more extensive historical notes of Dr. Menne, his bibliography, and the two sections on modal logic and the syntactical categories (§ 25 and 27), which were not in the original. I have endeavored to correct the typo graphical errors that appeared in the original editions and have made a few additions to the bibliography. In making the translation I have profited more than words can tell from the ever-generous help of Fr. Bochenski while he was teaching at the University of Notre Dame during 1955-56. OTTO BIRD Notre Dame, 1959 I GENERAL PRINCIPLES § O. INTRODUCTION 0. 1. Notion and history. Mathematical logic, also called 'logistic', ·symbolic logic', the 'algebra of logic', and, more recently, simply 'formal logic', is the set of logical theories elaborated in the course of the last century with the aid of an artificial notation and a rigorously deductive method.
Author: Innocent Marie-Joseph Bochenski
Publisher:
Published: 1948
Total Pages: 90
ISBN-13:
DOWNLOAD EBOOKAuthor: Innocent Marie Joseph BOCHEŃSKI
Publisher:
Published: 1948
Total Pages:
ISBN-13:
DOWNLOAD EBOOKAuthor: Innocent Marie Joseph BOCHEŃSKI
Publisher:
Published: 1959
Total Pages: 100
ISBN-13:
DOWNLOAD EBOOKAuthor: Joseph Maria Bochenski (Professeur)
Publisher:
Published: 1959
Total Pages: 0
ISBN-13:
DOWNLOAD EBOOKAuthor: Joseph M. Bochenski
Publisher:
Published: 1948
Total Pages: 90
ISBN-13:
DOWNLOAD EBOOKAuthor: René Cori
Publisher: Elsevier Masson
Published: 1993
Total Pages: 420
ISBN-13:
DOWNLOAD EBOOKAuthor: Jean-François Pabion
Publisher: Editions Hermann
Published: 1976
Total Pages: 304
ISBN-13:
DOWNLOAD EBOOKAfin de ne pas manquer la simplicite fondamentale des concepts etudies, ce manuel presente les elements de la logique mathematique dans un style volontairement simple, degage du souci de la forme. Loin de pretendre couvrir le sujet, seuls ont ete selectionnes quelques themes importants, abordes par des methodes instructives et illustres par des applications non gratuites. Des exercices completent le texte et abordent quelques questions d'un niveau plus eleve. Sommaire: Le cacul propositionnel Le calcul des propostions analysees Theories des deductions Une theorie des ensembles La completude semantique La theorie des definitions Application a la geometrie Elimination des quantificateurs Les theoremes de limitation Relations et fonctions recursives.
Author: René Cori
Publisher:
Published: 2003
Total Pages: 385
ISBN-13: 9782100054527
DOWNLOAD EBOOKDomaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite. Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans ce premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées. L'ouvrage, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.