الفهرس الالي لمكتبة كلية العلوم الدقيقة و الاعلام الالي
Résultat de la recherche
4 résultat(s) recherche sur le mot-clé 'logique mathématique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique mathematique, cours et exercices / Rene Cori
Titre : Logique mathematique, cours et exercices Type de document : texte imprimé Auteurs : Rene Cori ; D. Lascar (1942-) Editeur : Paris : Masson Année de publication : 1994 Collection : Axiomes. Importance : xv, 347 p. Format : 24 cm. ISBN/ISSN/EAN : 978-2-225-84080-7 Langues : Français (fre) Mots-clés : logique mathématique Calcul propositionnel Algebre de boole Topologie Homomorphismes Syntaxe Les structures Index. décimale : 510 Logique mathematique, cours et exercices [texte imprimé] / Rene Cori ; D. Lascar (1942-) . - Paris : Masson, 1994 . - xv, 347 p. ; 24 cm.. - (Axiomes.) .
ISBN : 978-2-225-84080-7
Langues : Français (fre)
Mots-clés : logique mathématique Calcul propositionnel Algebre de boole Topologie Homomorphismes Syntaxe Les structures Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité fsei01182 510-63.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Sorti jusqu'au 31/05/2023 Éléments de logique mathématique , théorie des modèles / Georg Kreisel
Titre : Éléments de logique mathématique , théorie des modèles Type de document : texte imprimé Auteurs : Georg Kreisel (1923-2015), Auteur Editeur : Paris : Dunod Année de publication : 1967 Collection : Monographies de la société mathématique de France Sous-collection : 510 Importance : 214p. Format : 25x16 Note générale : Monographies de la Société mathématique de France. 3 Langues : Français (fre) Mots-clés : logique mathématique Index. décimale : 510 Éléments de logique mathématique , théorie des modèles [texte imprimé] / Georg Kreisel (1923-2015), Auteur . - Paris : Dunod, 1967 . - 214p. ; 25x16. - (Monographies de la société mathématique de France. 510) .
Monographies de la Société mathématique de France. 3
Langues : Français (fre)
Mots-clés : logique mathématique Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité fsei02761 510-04.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei02760 510-04.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei02759 510-04.3 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Introduction à la logique / Alfred Tarski
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred Tarski (1901-1983), Auteur ; Jacques Tremblay, Traducteur Mention d'édition : 3ème éd. revue Editeur : Paris : Gauthier-Villars Année de publication : 1971 Collection : Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris Sous-collection : Série A num. 16 Importance : 246 p. Format : 25 cm Langues : Français (fre) Mots-clés : logique mathématique Index. décimale : 510 Introduction à la logique [texte imprimé] / Alfred Tarski (1901-1983), Auteur ; Jacques Tremblay, Traducteur . - 3ème éd. revue . - Paris : Gauthier-Villars, 1971 . - 246 p. ; 25 cm. - (Collection de logique mathématique. Série A, Monographies réunies par Mme Destouches-Février, Paris. Série A; 16) .
Langues : Français (fre)
Mots-clés : logique mathématique Index. décimale : 510 Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei02764 510-06.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible fsei02763 510-06.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Disponible Algèbre et analyse / Stéphane Balac
Titre : Algèbre et analyse : cours de mathématiques de première année avec exercices corrigés Type de document : texte imprimé Auteurs : Stéphane Balac, Auteur ; Frédéric Sturm, Auteur Mention d'édition : 2e éd. revue et augmentée Editeur : Lausanne : Presses polytechniques et universitaires romandes Année de publication : 2009 Collection : Metis LyonTech. Mathématiques Sous-collection : Mathématiques Importance : 1 vol. (XXI-1092 p.) Présentation : ill., couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-828-9 Note générale : Bibiogr. p. 1083. Index
Diff. en FranceLangues : Français (fre) Mots-clés : Algèbre analyse Préliminaires logique mathématique Structures fondamentales Ensemble numériques fondamentaux Le corps des réels Le corps des complexes Suites numériques Polynômes fractions rationnelles polynômes Algèbre linéaire Les espaces vectoriels Les applications linéaires Les matrices Systèmes d'équations linéaires Calcul différentiel une variable réelle Fonctions usuelles Comparaison locale de fonctions Dérivabilité des fonctions réelles Développements limités Calcul intégral Equations différentielles linéaires Index. décimale : 512 Résumé : Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s'adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d'ingénieurs mais peut être utilisé avec profit par tout étudiant se destinant à des études supérieures d'ingénieur. Il est issu de l'enseignement dispensé par les auteurs dans la filière ASINSA qui est l'une des trois filières de premier cycle international de l'INSA de Lyon. A ce titre, il ne constitue pas seulement une somme de connaissances mathématiques de 1ère année de l'enseignement supérieur mais vise à présenter de manière précise les résultats essentiels à une formation d'ingénieur généraliste. Cette nouvelle édition revue et augmentée est divisée en 20 chapitres regroupés en 5 grandes parties : ensembles numériques fondamentaux, polynômes et fractions rationnelles, algèbre linéaire, calcul différentiel et calcul intégral. Chaque chapitre contient de courts exercices visant à tester la bonne compréhension des notions introduites et se termine par quelques exercices de synthèse. Une correction détaillée et commentée de tous les exercices est fournie en fin de chapitre. Le logiciel de calcul MAPLE est utilisé dans l'ouvrage pour illustrer certaines notions introduites. Le lecteur trouvera une suite naturelle à ce cours de mathématiques de première année dans l'ouvrage " Analyse et algèbre, Cours de mathématiques de deuxième année " publié dans la même collection et chez le même éditeur par Stéphane Balac et Laurent Chupin. Algèbre et analyse : cours de mathématiques de première année avec exercices corrigés [texte imprimé] / Stéphane Balac, Auteur ; Frédéric Sturm, Auteur . - 2e éd. revue et augmentée . - Lausanne : Presses polytechniques et universitaires romandes, 2009 . - 1 vol. (XXI-1092 p.) : ill., couv. ill. ; 24 cm. - (Metis LyonTech. Mathématiques. Mathématiques) .
ISBN : 978-2-88074-828-9
Bibiogr. p. 1083. Index
Diff. en France
Langues : Français (fre)
Mots-clés : Algèbre analyse Préliminaires logique mathématique Structures fondamentales Ensemble numériques fondamentaux Le corps des réels Le corps des complexes Suites numériques Polynômes fractions rationnelles polynômes Algèbre linéaire Les espaces vectoriels Les applications linéaires Les matrices Systèmes d'équations linéaires Calcul différentiel une variable réelle Fonctions usuelles Comparaison locale de fonctions Dérivabilité des fonctions réelles Développements limités Calcul intégral Equations différentielles linéaires Index. décimale : 512 Résumé : Cet ouvrage, réunissant en un tout cohérent algèbre et analyse, s'adresse de manière plus spécifique aux élèves de première année des cycles préparatoires intégrés des écoles d'ingénieurs mais peut être utilisé avec profit par tout étudiant se destinant à des études supérieures d'ingénieur. Il est issu de l'enseignement dispensé par les auteurs dans la filière ASINSA qui est l'une des trois filières de premier cycle international de l'INSA de Lyon. A ce titre, il ne constitue pas seulement une somme de connaissances mathématiques de 1ère année de l'enseignement supérieur mais vise à présenter de manière précise les résultats essentiels à une formation d'ingénieur généraliste. Cette nouvelle édition revue et augmentée est divisée en 20 chapitres regroupés en 5 grandes parties : ensembles numériques fondamentaux, polynômes et fractions rationnelles, algèbre linéaire, calcul différentiel et calcul intégral. Chaque chapitre contient de courts exercices visant à tester la bonne compréhension des notions introduites et se termine par quelques exercices de synthèse. Une correction détaillée et commentée de tous les exercices est fournie en fin de chapitre. Le logiciel de calcul MAPLE est utilisé dans l'ouvrage pour illustrer certaines notions introduites. Le lecteur trouvera une suite naturelle à ce cours de mathématiques de première année dans l'ouvrage " Analyse et algèbre, Cours de mathématiques de deuxième année " publié dans la même collection et chez le même éditeur par Stéphane Balac et Laurent Chupin. Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité fsei04485 512-55.1 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Sorti jusqu'au 11/03/2024 fsei03219 512-55.2 Ouvrage Faculté des Sciences Exactes et Informatique 500 - Sciences de la nature et Mathématiques Sorti jusqu'au 21/02/2024