A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Catégories
> 03-xx
Affiner la recherche Interroger des sources externes
Introduction à la logique (1960) / Alfred TARSKI
Titre : Introduction à la logique Type de document : monographie Auteurs : Alfred TARSKI, Auteur Editeur : Paris : Gauthier-Villars Année de publication : 1960 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 016 Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique Introduction à la logique [monographie] / Alfred TARSKI, Auteur . - Gauthier-Villars, 1960. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 016) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5552 TARS/02/1357-b Livre Recherche Salle Disponible Introduction à la logique (1960) / Alfred TARSKI
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur Editeur : Paris : Gauthier-Villars Année de publication : 1960 Autre Editeur : Louvain [Belgique] : E. Nauwelaerts Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 16 Importance : XV-224 p. Langues : Français (fre) Catégories : 03-xx Mots-clés : logique mathématique variable théorie des classes théorie des relations Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.
Sommaire:
I - Éléments de logique. Méthode déductive.
L'usage des variables.
Le calcul des propositions.
La théorie de l'identité.
La théorie des classes.
La théorie des relations.
La méthode déductive.
II - Applications de la logique et de la méthodologie
à la construction des théories mathématiques.
Construction d'une théorie mathématique : lois d'ordre pour les nombres.
Construction d'une théorie mathématique : lois de l'addition et de la soustraction.
Considérations méthodologiques sur la théorie que nous venons de construire.
Extension de la théorie construite : fondements de l'arithmétique des nombres réels.Note de contenu : index Introduction à la logique [texte imprimé] / Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur . - Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1960 . - XV-224 p.. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 16) .
Langues : Français (fre)
Catégories : 03-xx Mots-clés : logique mathématique variable théorie des classes théorie des relations Résumé : L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques.
Sommaire:
I - Éléments de logique. Méthode déductive.
L'usage des variables.
Le calcul des propositions.
La théorie de l'identité.
La théorie des classes.
La théorie des relations.
La méthode déductive.
II - Applications de la logique et de la méthodologie
à la construction des théories mathématiques.
Construction d'une théorie mathématique : lois d'ordre pour les nombres.
Construction d'une théorie mathématique : lois de l'addition et de la soustraction.
Considérations méthodologiques sur la théorie que nous venons de construire.
Extension de la théorie construite : fondements de l'arithmétique des nombres réels.Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 3906 TAR/02/1357 a Livre Recherche Salle Disponible Logic for mathematicians (1978) / J. Barkley ROSSER
Titre : Logic for mathematicians Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Mention d'édition : 2nd éd. Editeur : New York : Chelsea Publishing Company Année de publication : 1978 Importance : XV-574 p. ISBN/ISSN/EAN : 978-0-8284-0294-1 Langues : Anglais (eng) Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Logic for mathematicians [texte imprimé] / J. Barkley ROSSER, Auteur . - 2nd éd. . - New York : Chelsea Publishing Company, 1978 . - XV-574 p.
ISBN : 978-0-8284-0294-1
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index, bibliogr. Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 509 ROS/02/5248 Livre Recherche Salle Disponible Logic for mathematicians (1953) / J. Barkley ROSSER
Titre : Logic for mathematicians Type de document : texte imprimé Auteurs : J. Barkley ROSSER, Auteur Editeur : New York : McGraw-Hill Book Company Année de publication : 1953 Collection : International series in pure and applied mathematics Importance : XIV-530 p. ISBN/ISSN/EAN : 978-0-8284-0294-1 Langues : Anglais (eng) Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index Logic for mathematicians [texte imprimé] / J. Barkley ROSSER, Auteur . - McGraw-Hill Book Company, 1953 . - XIV-530 p.. - (International series in pure and applied mathematics) .
ISBN : 978-0-8284-0294-1
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : logique mathématique Note de contenu : index Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i684 ROS/02/i684 Livre Recherche Salle Disponible Logic, semantics, metamathematics. Papers from 1923 to 1938 (1956) / Alfred TARSKI
Titre : Logic, semantics, metamathematics. Papers from 1923 to 1938 Type de document : oeuvre Auteurs : Alfred TARSKI, Auteur Editeur : Oxford : Clarendon Press Année de publication : 1956 Langues : Anglais (eng) Catégories : 03-xx Mots-clés : oeuvres logique sémantique métamathématique Logic, semantics, metamathematics. Papers from 1923 to 1938 [oeuvre] / Alfred TARSKI, Auteur . - Oxford : Clarendon Press, 1956.
Langues : Anglais (eng)
Catégories : 03-xx Mots-clés : oeuvres logique sémantique métamathématique Réservation
Réserver ce document
Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4599 TARS/02/1003 Livre Recherche Salle Disponible Logical systems containing only a finite number of symbols (1967) / Leon HENKIN
PermalinkLogique et connaissance scientifique (1967) / Jean PIAGET
PermalinkLogique mathématique (DL 1971) / Stephen Cole KLEENE
PermalinkLogique mathématique (cop. 1967) / Daniel PONASSE
PermalinkMathematical logic (Cop. 1967) / Joseph R. SHOENFIELD
PermalinkLes mathématiques et le raisonnement "plausible" (1958) / George POLYA
PermalinkMathematische gesetze der logik. I (1960) / H. Arnold SCHMIDT
PermalinkNonlinear analysis and optimization I : nonlinear analysis (cop. 2010) / Arie LEIZAROWITZ
PermalinkNonlinear analysis and optimization II : optimization (cop. 2010) / Arie LEIZAROWITZ
PermalinkNotes on logic (cop. 1966) / Roger C. LYNDON
Permalink