الفهرس الالي لمكتبة كلية العلوم و علوم التكنولوجيا
Résultat de la recherche
25 résultat(s) recherche sur le mot-clé 'logique'
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externes
Logique pour l'informatique / Serenella Cerrito
Titre : Logique pour l'informatique : introduction à la déduction automatique ; cours & exercices ; licence d'informatique Type de document : texte imprimé Auteurs : Serenella Cerrito, Auteur ; PRé.KESNER,DELIA, Auteur Editeur : Paris : Vuibert Année de publication : impr. 2008 Importance : 1 vol. (XII-178 p.) Présentation : ill., couv. ill. en coul. Format : 24 *17cm ISBN/ISSN/EAN : 978-2-7117-2069-9 Note générale : Éditeur : DE BOECK SUP (6 octobre 2008)
Langue : Français
Broché : 178 pages
ISBN-10 : 2711720691
ISBN-13 : 978-2711720699
Poids de l'article : 358 g
Dimensions : 24 x 1.3 x 17 cmLangues : Français (fre) Mots-clés : logique propositionnelle calcul des prédicats Logique pour l'informatique Index. décimale : 510 Résumé : La 4¨me de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent leur tour le recours un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre dé développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours pr©sente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prªtent tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilis©e ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiqu©es. Orient©e vers l'informatique plus que vers les math©matiques et contenant par ailleurs un tr¨s grand nombre d'exercices d'application directe de difficult© graduelle, cette introduction la logique pour l'informatique est unique en son genre. - Principalement destin© aux ©tudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra tout informaticien souhaitant acqu©rir de solides bases en logique et comprendre en quoi la logique est n©cessaire la pratique de l'informatique." Cours pour apprendre utiliser la logique formelle afin de mod©liser des informations sur des donn©es et de les manipuler automatiquement, illustr© d'exercices corrig©s.
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.
Biographie de l'auteur
Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.SOMMAIRE:SYNTAXE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-PREUVES EN LOGIQUE PROPOSITIONNELLE-SYNTAXE DU CALCUL DES PRéDICATS-SéMANTIQUE DU CALCUL DES PRéDICATS-PREUVES POUR LE CALCUL DES PRéDICATS-EXTENSIONS DU CALCUL DES PRéDICATS-SOLUTIONS POUR UNE SéLECTION D'EXERCICES
Note de contenu : Bibliogr., 1 p. Index
cours & exercicesLogique pour l'informatique : introduction à la déduction automatique ; cours & exercices ; licence d'informatique [texte imprimé] / Serenella Cerrito, Auteur ; PRé.KESNER,DELIA, Auteur . - Paris : Vuibert, impr. 2008 . - 1 vol. (XII-178 p.) : ill., couv. ill. en coul. ; 24 *17cm.
ISBN : 978-2-7117-2069-9
Éditeur : DE BOECK SUP (6 octobre 2008)
Langue : Français
Broché : 178 pages
ISBN-10 : 2711720691
ISBN-13 : 978-2711720699
Poids de l'article : 358 g
Dimensions : 24 x 1.3 x 17 cm
Langues : Français (fre)
Mots-clés : logique propositionnelle calcul des prédicats Logique pour l'informatique Index. décimale : 510 Résumé : La 4¨me de couverture indique : "Omniprésente dans notre société, l'informatique nous conduit privilégier l'utilisation de logiciels qui soient fiables. - Ces derniers exigent leur tour le recours un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre dé développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. - Ce cours pr©sente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. - On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prªtent tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilis©e ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiqu©es. Orient©e vers l'informatique plus que vers les math©matiques et contenant par ailleurs un tr¨s grand nombre d'exercices d'application directe de difficult© graduelle, cette introduction la logique pour l'informatique est unique en son genre. - Principalement destin© aux ©tudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra tout informaticien souhaitant acqu©rir de solides bases en logique et comprendre en quoi la logique est n©cessaire la pratique de l'informatique." Cours pour apprendre utiliser la logique formelle afin de mod©liser des informations sur des donn©es et de les manipuler automatiquement, illustr© d'exercices corrig©s.
Omniprésente dans notre société, l'informatique nous conduit à privilégier l'utilisation de logiciels qui soient fiables. Ces derniers exigent à leur tour le recours à un formalisme rigoureux : bien écrit, un langage de programmation réduira les obstacles qui peuvent surgir entre développeurs et utilisateurs. Pareils formalismes se construisent sur la base de la logique mathématique. C'est elle qui fournit des outils permettant de modéliser correctement des informations complexes et d'en réaliser un traitement informatique. Ce cours présente les notions et les outils logiques de base qui, dans l'univers concret de l'informatique, s'appliquent à plusieurs domaines tels que les fondements des langages de programmation et des bases de données, l'intelligence artificielle ou le génie logiciel. Volontairement simple et rigoureux, ce manuel est destiné à la formation universitaire de base en informatique. On y apprend comment utiliser la logique formelle non seulement pour modéliser des informations sur des données, mais aussi pour les manipuler automatiquement. On utilise pour cela des logiciels qui permettent de raisonner sur ces données et d'effectuer des inférences (fournies ici en CAML, les solutions de programmation se prêtent à tous les autres langages de programmation que pourront choisir les utilisateurs). La logique utilisée ici est la logique dite classique. C'est elle qui constitue le noyau d'autres logiques plus sophistiquées. Orientée vers l'informatique plus que vers les mathématiques et contenant par ailleurs un très grand nombre d'exercices d'application directe de difficulté graduelle, cette introduction à la logique pour l'informatique est unique en son genre. Principalement destiné aux étudiants inscrits en Licence d'informatique (L1, L2 et L3), ce manuel conviendra à tout informaticien souhaitant acquérir de solides bases en logique et comprendre en quoi la logique est nécessaire à la pratique de l'informatique.
Biographie de l'auteur
Professeur à l'université d'Evry / Val d'Essonne, Serenella Cerrito appartient au laboratoire IBISC (Informatique, biologie intégrative et systèmes complexes, FRE CNRS.3190, Genopole). Sa double formation en informatique et en philosophie des sciences l'a conduite à enseigner la logique tant aux informaticiens qu'aux étudiants en philosophie. Ses recherches portent principalement sur les applications de la théorie de la preuve et la déduction automatique à la programmation et aux bases de données.SOMMAIRE:SYNTAXE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-SéMANTIQUE DE LA LOGIQUE PROPOSITIONNELLE-PREUVES EN LOGIQUE PROPOSITIONNELLE-SYNTAXE DU CALCUL DES PRéDICATS-SéMANTIQUE DU CALCUL DES PRéDICATS-PREUVES POUR LE CALCUL DES PRéDICATS-EXTENSIONS DU CALCUL DES PRéDICATS-SOLUTIONS POUR UNE SéLECTION D'EXERCICES
Note de contenu : Bibliogr., 1 p. Index
cours & exercicesRéservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST19257 510/142.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST19258 510/142.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Logique et technologie / Lucien Géminard
Titre : Logique et technologie Type de document : texte imprimé Auteurs : Lucien Géminard, Auteur Mention d'édition : Nouveau tirage Editeur : Paris : Dunod Année de publication : 1970 Importance : (X-220 p.) Présentation : ill. Format : 24 cm 15 cm ISBN/ISSN/EAN : 978-2-04-003956-1 Note générale : ASIN : B00O5A1LZY
Éditeur : Dunod (1 janvier 1970)
Langues : Français (fre) Mots-clés : Logique fonctions techniques opérateur Index. décimale : 537 Résumé : l'objet technique et le milieu extérieur a l'objet-les fonctions techniques-rappel de notions de mécanique et de physique-opérateurs techniques-études de constructions Note de contenu : AUTEUR:Géminard, Lucien Paris : Dunod 24 cm 15 cm 1970 978-2-04-003956-1 (X-220 p.) LANGUE: Français Logique et technologie [texte imprimé] / Lucien Géminard, Auteur . - Nouveau tirage . - Paris : Dunod, 1970 . - (X-220 p.) : ill. ; 24 cm 15 cm.
ISBN : 978-2-04-003956-1
ASIN : B00O5A1LZY
Éditeur : Dunod (1 janvier 1970)
Langues : Français (fre)
Mots-clés : Logique fonctions techniques opérateur Index. décimale : 537 Résumé : l'objet technique et le milieu extérieur a l'objet-les fonctions techniques-rappel de notions de mécanique et de physique-opérateurs techniques-études de constructions Note de contenu : AUTEUR:Géminard, Lucien Paris : Dunod 24 cm 15 cm 1970 978-2-04-003956-1 (X-220 p.) LANGUE: Français Réservation
Réserver ce document
Exemplaires (2)
Code-barres Cote Support Localisation Section Disponibilité ST1754 537/301.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST1755 537/301.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible Compétences prépas Mathématiques, 1ère année MPSI / Thomas Chomette
Titre : Compétences prépas Mathématiques, 1ère année MPSI Type de document : texte imprimé Auteurs : Thomas Chomette, Auteur ; Philippe Crocy, Auteur ; Érick de Brauwère, Auteur Editeur : PARIS:LAVOISIER Année de publication : impr. 2014 Importance : 1 vol. (VI-933 p.) Présentation : ill. Format : 18x26 cm. ISBN/ISSN/EAN : 978-2-7430-1517-6 Prix : 64,90 EUR Note générale : La couv. porte en plus : "le cours complet" et "conforme au nouveau programme..."
IndexLangues : Français (fre) Mots-clés : Mathématiques, 1ère année MPSI logique ensemble nombres complexes suites limites continuité dérivées polynômes espace vectoriels calcul matriciel intégration primitives séries numériques variables aléatoires logique,ensembles et applications relations et lois sur un ensemble calcul algébrique systémes linéaires les nombres complexes complexeset trigonométrie nombres réels étude pratique des fonctions de la variable réelle primitives et équations différentielles linéaires suites de nombres réels limites et continuité éléments d'analyse asymptotique arithémétiques dans z polynomes à une indéterminée polynomes et fractions rationnelles espaces vectoriels applications linéaires dimension finie application des matrices déterminants espaces préhilbertiens isométries vectorielles d'un espace euclidien primitives et formules de taylor séries numriques dénombrement-probabilités Index. décimale : 515 Résumé : chaque ouvrage de la collection compétences prépas comprend deux parties distinctes l'intégralité du cours avec : un cours complet,clair et abondamment illustré un formulaire regroupant toutes les notions fondamentales des approches documentaires pour développer des compétence d'analyse et de synthèse des ouvertures sur la démarche expérimentale pour passer du cours théorique a la pratique les exercices corrigés avec: des exercices d'application résolus au sein même du cours une résolution type offrant des problèmes de concours et leurs solutions détaillées des questions de raisonnement et leurs corrigés pour favoriser réflexion et initiative des exercices d'entrainement et leurs résolutions détaillées,présentés par ordre de difficulté croissante
sommaire:
1-logique,ensembles et applications
2-relations et lois sur un ensemble
3-calcul algébrique
4-systémes linéaires
5-les nombres complexes
6-complexeset trigonométrie
7-nombres réels
8-étude pratique des fonctions de la variable réelle
9-primitives et équations différentielles linéaires
10-suites de nombres réels
11-limites et continuité
12-dérivées
13-éléments d'analyse asymptotique
14-arithémétiques dans z
15-polynomes à une indéterminée
16-polynomes et fractions rationnelles
17-espaces vectoriels
18-applications linéaires
19-dimension finie
20-calcul matriciel
21-application des matrices
22-déterminants
23-espaces préhilbertiens
24-isométries vectorielles d'un espace euclidien
25-intégration
26-primitives et formules de taylor
27-séries numriques
28-dénombrement-probabilités
29-variables aléatoires
Note de contenu : Éditeur : Tec & Doc Lavoisier (14 mai 2014)
Langue : Français
Broché : 1200 pages
ISBN-10 : 2743015179
ISBN-13 : 978-2743015176
Poids de l'article : 1.7 kg
Dimensions : 19.5 x 2.9 x 26 cmCompétences prépas Mathématiques, 1ère année MPSI [texte imprimé] / Thomas Chomette, Auteur ; Philippe Crocy, Auteur ; Érick de Brauwère, Auteur . - [S.l.] : PARIS:LAVOISIER, impr. 2014 . - 1 vol. (VI-933 p.) : ill. ; 18x26 cm.
ISBN : 978-2-7430-1517-6 : 64,90 EUR
La couv. porte en plus : "le cours complet" et "conforme au nouveau programme..."
Index
Langues : Français (fre)
Mots-clés : Mathématiques, 1ère année MPSI logique ensemble nombres complexes suites limites continuité dérivées polynômes espace vectoriels calcul matriciel intégration primitives séries numériques variables aléatoires logique,ensembles et applications relations et lois sur un ensemble calcul algébrique systémes linéaires les nombres complexes complexeset trigonométrie nombres réels étude pratique des fonctions de la variable réelle primitives et équations différentielles linéaires suites de nombres réels limites et continuité éléments d'analyse asymptotique arithémétiques dans z polynomes à une indéterminée polynomes et fractions rationnelles espaces vectoriels applications linéaires dimension finie application des matrices déterminants espaces préhilbertiens isométries vectorielles d'un espace euclidien primitives et formules de taylor séries numriques dénombrement-probabilités Index. décimale : 515 Résumé : chaque ouvrage de la collection compétences prépas comprend deux parties distinctes l'intégralité du cours avec : un cours complet,clair et abondamment illustré un formulaire regroupant toutes les notions fondamentales des approches documentaires pour développer des compétence d'analyse et de synthèse des ouvertures sur la démarche expérimentale pour passer du cours théorique a la pratique les exercices corrigés avec: des exercices d'application résolus au sein même du cours une résolution type offrant des problèmes de concours et leurs solutions détaillées des questions de raisonnement et leurs corrigés pour favoriser réflexion et initiative des exercices d'entrainement et leurs résolutions détaillées,présentés par ordre de difficulté croissante
sommaire:
1-logique,ensembles et applications
2-relations et lois sur un ensemble
3-calcul algébrique
4-systémes linéaires
5-les nombres complexes
6-complexeset trigonométrie
7-nombres réels
8-étude pratique des fonctions de la variable réelle
9-primitives et équations différentielles linéaires
10-suites de nombres réels
11-limites et continuité
12-dérivées
13-éléments d'analyse asymptotique
14-arithémétiques dans z
15-polynomes à une indéterminée
16-polynomes et fractions rationnelles
17-espaces vectoriels
18-applications linéaires
19-dimension finie
20-calcul matriciel
21-application des matrices
22-déterminants
23-espaces préhilbertiens
24-isométries vectorielles d'un espace euclidien
25-intégration
26-primitives et formules de taylor
27-séries numriques
28-dénombrement-probabilités
29-variables aléatoires
Note de contenu : Éditeur : Tec & Doc Lavoisier (14 mai 2014)
Langue : Français
Broché : 1200 pages
ISBN-10 : 2743015179
ISBN-13 : 978-2743015176
Poids de l'article : 1.7 kg
Dimensions : 19.5 x 2.9 x 26 cmRéservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité ST11684 515/294.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt ST11685 515/294.2 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible ST11686 515/294.3 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Disponible 400 nouveaux schémas radiofréquences / Herrmann Schreiber
Titre : 400 nouveaux schémas radiofréquences Type de document : texte imprimé Auteurs : Herrmann Schreiber, Editeur : Paris : Dunod Année de publication : DL 2000. Autre Editeur : Paris : Dunod Collection : Electronique. Série Principes électroniques Sous-collection : Série Principes électroniques. Importance : 1 vol. (XV-348 p.) Présentation : ill. Format : 24 cm. ISBN/ISSN/EAN : 978-2-10-005225-7 Prix : 248 F Note générale : Editeur: Dunod
Date d'édition: 30/09/2000
Langue: Français
ISBN-13: 9782100052257
ISBN: 210005225XLangues : Français (fre) Mots-clés : 400 nouveaux schémas radiofréquences amplificateurs accordés large bande adaptateur vidéo oscillateurs RC LC synthése frécuence logique conversion récepteurs applications filtres Index. décimale : 621.3 Résumé : Ce nouveau recueil de schémas «prêts à l'emploi» contient 400 fonctions électroniques destinées à s'insérer dans un projet électronique hautes fréquences plus conséquent. Ces schémas peuvent être comparés aux pièces d'un puzzle dont un certain nombre est déjà entre les mains du concepteur. Cette schémathèque constitue par conséquent un petit réservoir de pièces manquantes qui permettra à ce même concepteur de ne pas réinventer ce qui existe déjà.sommaire:amplificateurs accordes-amplificateurs large bande à gain fixe-amplificateurs large bande à commande de gain-amplificateurs vidéo-oscillateursRC-oscillateursLC-oscillateurs à quartz-synthése de fréquence-logique séquentielle-circuits de conversion-démodulateurs-récepteurs AM-récepteurs FM-récepteurs AM/FM-application télévision-filtres-multiplicateurs de fréquence-amplificateurs pour émetteurs-modules émission-mesures-attéuateurs-mesures de grandeurs électriques-adaptateurs fréquencemétres-compléments mesure 400 nouveaux schémas radiofréquences [texte imprimé] / Herrmann Schreiber, . - Paris : Dunod : Paris : Dunod, DL 2000. . - 1 vol. (XV-348 p.) : ill. ; 24 cm.. - (Electronique. Série Principes électroniques. Série Principes électroniques.) .
ISBN : 978-2-10-005225-7 : 248 F
Editeur: Dunod
Date d'édition: 30/09/2000
Langue: Français
ISBN-13: 9782100052257
ISBN: 210005225X
Langues : Français (fre)
Mots-clés : 400 nouveaux schémas radiofréquences amplificateurs accordés large bande adaptateur vidéo oscillateurs RC LC synthése frécuence logique conversion récepteurs applications filtres Index. décimale : 621.3 Résumé : Ce nouveau recueil de schémas «prêts à l'emploi» contient 400 fonctions électroniques destinées à s'insérer dans un projet électronique hautes fréquences plus conséquent. Ces schémas peuvent être comparés aux pièces d'un puzzle dont un certain nombre est déjà entre les mains du concepteur. Cette schémathèque constitue par conséquent un petit réservoir de pièces manquantes qui permettra à ce même concepteur de ne pas réinventer ce qui existe déjà.sommaire:amplificateurs accordes-amplificateurs large bande à gain fixe-amplificateurs large bande à commande de gain-amplificateurs vidéo-oscillateursRC-oscillateursLC-oscillateurs à quartz-synthése de fréquence-logique séquentielle-circuits de conversion-démodulateurs-récepteurs AM-récepteurs FM-récepteurs AM/FM-application télévision-filtres-multiplicateurs de fréquence-amplificateurs pour émetteurs-modules émission-mesures-attéuateurs-mesures de grandeurs électriques-adaptateurs fréquencemétres-compléments mesure Réservation
Réserver ce document
Exemplaires (5)
Code-barres Cote Support Localisation Section Disponibilité ST2242 621.38/37.1 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2243 621.38/37.2 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2244 621.38/37.3 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2245 621.38/37.4 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible ST2246 621.38/37.5 Ouvrage Faculté des Sciences et de la Technologie 600 - Technologie (Sciences appliquées) Disponible Algèbre, 1. Travaux dirigés de mathématiques / Annick Auzimour
Titre de série : Algèbre, 1 Titre : Travaux dirigés de mathématiques : algébre1 Type de document : texte imprimé Auteurs : Annick Auzimour (1942-....), Auteur ; Frédérique Petit, Auteur Editeur : [Paris] : Vuibert Année de publication : 1998 Importance : vol. 1 (56 p.) Présentation : ill. Format : 24 *17cm. ISBN/ISSN/EAN : 978-2-7117-8971-9 Prix : 50 F. Note générale : Éditeur : Vuibert (19 octobre 1998)
Langue : Français
Broché : 56 pages
ISBN-10 : 2711789713
ISBN-13 : 978-2711789719
Poids de l'article : 181 g
Dimensions : 17.1 x 0.3 x 24 cmLangues : Français (fre) Mots-clés : algèbre logique ensembles langage ensembliste Index. décimale : 512 Algèbre Résumé : Comprendre le cours. Trouver la bonne méthode pour l'étudier. Travailler librement, à son rythme personnel... ... pour réussir le DEUG, on sait que ces critères sont décisifs. Point par point chaque Livre de Bord répond à toutes ces exigences. Rigoureusement organisé suivant le principe des travaux dirigés, ce volume d'algèbre est découpé en cinq séances indispensables, représentant chacune deux heures de travail individuel. Très aéré, le texte est rythmé par divers pictogrammes : ils signalent un conseil, un théorème important ou invitent simplement à faire une pause. Pour la partie du programme spécifiquement traitée ici - Logique. Théorie des ensembles - on trouvera successivement : Les définitions et les théorèmes indispensables ; 24 exercices tous corrigés, bien expliqués et accompagnés de conseils de travail ; une liste récapitulative du vocabulaire mathématique employé ; 5 tests d'auto-évaluation sous forme de 37 questions simples et courtes servant de " contrôle technique " ; Un index détaillé, riche de 69 entrées, il permet de trouver immédiatement l'information désirée. Sa fonction de navigation transforme chaque Livre de Bord en une petite base de données du cours. Ce guide en mains, on peut aborder le programme en toute confiance et devenir parfaitement autonome. Il s'utilise à tout moment de l'année autant qu'à l'heure des révisions.sommaire:pictrogrammes et conseils-symboles et notions-logique.théorie des ensembles-quelques notions de logique-définitions,théorémes,exercices et conseils3-vocabulaire et tests7-le raisonnement mathématique définitions,théorémes,exercices et conseils vocabulaire,lecture et tests12-le langage ensembliste-définitions,théorémes,exercices ety conseils15 vocabulaire et tests21-opérations sur les parties d'un ensemble définitions,théorémes,exercices et conseils23vocabulaire,lecture et tests31-évaluez vous-méme votre travail Note de contenu : index
TDAlgèbre, 1. Travaux dirigés de mathématiques : algébre1 [texte imprimé] / Annick Auzimour (1942-....), Auteur ; Frédérique Petit, Auteur . - [Paris] : Vuibert, 1998 . - vol. 1 (56 p.) : ill. ; 24 *17cm.
ISBN : 978-2-7117-8971-9 : 50 F.
Éditeur : Vuibert (19 octobre 1998)
Langue : Français
Broché : 56 pages
ISBN-10 : 2711789713
ISBN-13 : 978-2711789719
Poids de l'article : 181 g
Dimensions : 17.1 x 0.3 x 24 cm
Langues : Français (fre)
Mots-clés : algèbre logique ensembles langage ensembliste Index. décimale : 512 Algèbre Résumé : Comprendre le cours. Trouver la bonne méthode pour l'étudier. Travailler librement, à son rythme personnel... ... pour réussir le DEUG, on sait que ces critères sont décisifs. Point par point chaque Livre de Bord répond à toutes ces exigences. Rigoureusement organisé suivant le principe des travaux dirigés, ce volume d'algèbre est découpé en cinq séances indispensables, représentant chacune deux heures de travail individuel. Très aéré, le texte est rythmé par divers pictogrammes : ils signalent un conseil, un théorème important ou invitent simplement à faire une pause. Pour la partie du programme spécifiquement traitée ici - Logique. Théorie des ensembles - on trouvera successivement : Les définitions et les théorèmes indispensables ; 24 exercices tous corrigés, bien expliqués et accompagnés de conseils de travail ; une liste récapitulative du vocabulaire mathématique employé ; 5 tests d'auto-évaluation sous forme de 37 questions simples et courtes servant de " contrôle technique " ; Un index détaillé, riche de 69 entrées, il permet de trouver immédiatement l'information désirée. Sa fonction de navigation transforme chaque Livre de Bord en une petite base de données du cours. Ce guide en mains, on peut aborder le programme en toute confiance et devenir parfaitement autonome. Il s'utilise à tout moment de l'année autant qu'à l'heure des révisions.sommaire:pictrogrammes et conseils-symboles et notions-logique.théorie des ensembles-quelques notions de logique-définitions,théorémes,exercices et conseils3-vocabulaire et tests7-le raisonnement mathématique définitions,théorémes,exercices et conseils vocabulaire,lecture et tests12-le langage ensembliste-définitions,théorémes,exercices ety conseils15 vocabulaire et tests21-opérations sur les parties d'un ensemble définitions,théorémes,exercices et conseils23vocabulaire,lecture et tests31-évaluez vous-méme votre travail Note de contenu : index
TDExemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité ST13795 512/68.1 Ouvrage Faculté des Sciences et de la Technologie 500 - Sciences de la nature et Mathématiques Exclu du prêt Algèbre, 1. Travaux dirigés de mathématiques / Annick Auzimour
PermalinkAutomate Programmable Industriel / Frediric P. Miller
PermalinkCours d’algèbre linéaire / Abdelkrim Khireddine
PermalinkL'héritage de Kolmogorov en mathématiques
PermalinkINTRODUCTION AUX MATHÉMATIQUES DISCRÈTES / S.YABLONSKI
Permalink