Les Inscriptions à la Bibliothèque sont ouvertes en
ligne via le site: https://biblio.enp.edu.dz
Les Réinscriptions se font à :
• La Bibliothèque Annexe pour les étudiants en
2ème Année CPST
• La Bibliothèque Centrale pour les étudiants en Spécialités
A partir de cette page vous pouvez :
| Retourner au premier écran avec les recherches... |
Détail de l'indexation
510.6 : Logique mathématique
510 Considérations fondamentales et générales sur les mathématiques. Fondement. Logique, etc. 510.21 considérations philosophiques générales. 510.22 Théorie des ensembles. Approche théorique des ensembles. Théorie des types d'ordres, des nombres ordinaux et cardinaux 510.5 Algorithmes. Fonctions calculables 510.51 Théorie des algorithmes: considérations générales 510.56 HAU 510.62 Langages logiques. Langages logico-objectifs 510.64 Systèmes non classiques, systèmes formels de logique. Logique modale. Logique polyvalente. Syllogistique. Logique inductive. Logique probabiliste. 510.65 Théories logico-mathématiques. Arithmétique formelle. Théorie formelle des nombres 510.67 Théorie des Modèles 510.76 Ouvrages de la bibliothèque en indexation 510.6
Faire une suggestion Affiner la rechercheIntroduction à la logique / André Delessert
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : André Delessert, Auteur Editeur : Lausanne : PPUR Année de publication : 1988 Importance : 200 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-88074-153-2 Note générale : Bibliogr.p.199-200.-Index Mots-clés : Logique mathématique
Logique - Symbolic and mathematical
Logique mathématique non classiqueIndex. décimale : 510.6 Logique mathématique Résumé : Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés. Note de contenu : Sommaire :
*Avertissement
*Préambule
*Les langages du premier ordre
*L'idée de modèle ensembliste
*La logique (ou calcul) des propositions
*Les fonctions de vérité
*Les axiomes de l'égalité ou formules de Leibniz
*La logique des quantificateurs
*La méthode de Henkin: la réduction à la logique des propositions
*L'idée de preuve. Le théorème de complétude de la logique du premier ordre
*Extension de la logique élémentaire du premier ordre
*Quelques remarques sur la logique du premier ordre
*Aperçus sur d'autres logiques formellesIntroduction à la logique [texte imprimé] / André Delessert, Auteur . - Lausanne : PPUR, 1988 . - 200 p. : ill. ; 24 cm.
ISBN : 978-2-88074-153-2
Bibliogr.p.199-200.-Index
Mots-clés : Logique mathématique
Logique - Symbolic and mathematical
Logique mathématique non classiqueIndex. décimale : 510.6 Logique mathématique Résumé : Axé principalement sur la logique du premier ordre, l'intention générale de ce livre est de proposer des faits de logique non banals, tels que le théorème de complétude de la logique de premier ordre et ses divers corollaires. Quelques relations avec la langue, la philosophie et les fondements des mathématiques sont abordées à la lumière des résultats démontrés. Note de contenu : Sommaire :
*Avertissement
*Préambule
*Les langages du premier ordre
*L'idée de modèle ensembliste
*La logique (ou calcul) des propositions
*Les fonctions de vérité
*Les axiomes de l'égalité ou formules de Leibniz
*La logique des quantificateurs
*La méthode de Henkin: la réduction à la logique des propositions
*L'idée de preuve. Le théorème de complétude de la logique du premier ordre
*Extension de la logique élémentaire du premier ordre
*Quelques remarques sur la logique du premier ordre
*Aperçus sur d'autres logiques formellesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 043279 510.6 DEL Papier Bibliothèque Centrale Mathématiques Disponible 043280 510.6 DEL Papier Bibliothèque Centrale Mathématiques Disponible 037956 510.6 DEL Papier Bibliothèque Centrale Mathématiques Disponible En bon état 037957 510.6 DEL Papier Bibliothèque Centrale Mathématiques Disponible En bon état 
Titre : Logique combinatoire Type de document : texte imprimé Auteurs : Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; Jean-Pierre Richard, Collaborateur Editeur : Paris : Dunod Année de publication : 1976 Collection : Dunod université Importance : VI-[74] p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-000147-6 Note générale : Bibliogr. p. [74] Langues : Français (fre) Mots-clés : Algèbres commutatives
Structure logique
Circuits logiques
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classer les systèmes selon la nature de l'information qu'ils reçoivent et qu'ils traitent : - systèmes soumis à des signaux naturellement discrétisés, telles les commandes numériques de machines-outils, - systèmes acceptant des signaux analogiques; c'est le cas de la plupart des procédés industriels. Pour ces derniers, lorsque la complexité du procédé est grande et si l'on cherche à optimiser son fonctionnement autrement que de façon subjective, il apparaît nécessaire de faire appel à l'ordinateur. Celui-ci traite des données discrétisées et est donc constitué d'un ensemble de systèmes logiques. Cet ouvrage constitue une introduction à la logique combinatoire et à l'étude des systèmes logiques. Il présente les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation. "Logique combinatoire" est consacré à l'étude de systèmes dont l'évolution dépend à chaque instant uniquement des valeurs des variables auxquelles il est soumis. Note de contenu : Au sommaire :
1. Algèbre de commutation
2. Les expressions logiques
3. Les fonctions logiques
4. Simplification et minimisation
5. Fonctions remarquables
6. Les équations logiques
7. Les circuits logiquesEn ligne : http://books.google.com/books?id=05OdHAAACAAJ&hl=fr&cd=1&source=gbs_ViewAPI Logique combinatoire [texte imprimé] / Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; Jean-Pierre Richard, Collaborateur . - Dunod, 1976 . - VI-[74] p. : ill. ; 24 cm. - (Dunod université) .
ISBN : 978-2-04-000147-6
Bibliogr. p. [74]
Langues : Français (fre)
Mots-clés : Algèbres commutatives
Structure logique
Circuits logiques
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Les systèmes logiques - dont les variables appartiennent à des ensembles finis - sont largement utilisés en Automatique et en Informatique. En effet, en Automatique (science de la commande des systèmes couplés au monde extérieur), on peut classer les systèmes selon la nature de l'information qu'ils reçoivent et qu'ils traitent : - systèmes soumis à des signaux naturellement discrétisés, telles les commandes numériques de machines-outils, - systèmes acceptant des signaux analogiques; c'est le cas de la plupart des procédés industriels. Pour ces derniers, lorsque la complexité du procédé est grande et si l'on cherche à optimiser son fonctionnement autrement que de façon subjective, il apparaît nécessaire de faire appel à l'ordinateur. Celui-ci traite des données discrétisées et est donc constitué d'un ensemble de systèmes logiques. Cet ouvrage constitue une introduction à la logique combinatoire et à l'étude des systèmes logiques. Il présente les outils de base et les méthodes formelles permettant de traiter les problèmes essentiels rencontrés depuis la définition d'un système jusqu'à sa réalisation. "Logique combinatoire" est consacré à l'étude de systèmes dont l'évolution dépend à chaque instant uniquement des valeurs des variables auxquelles il est soumis. Note de contenu : Au sommaire :
1. Algèbre de commutation
2. Les expressions logiques
3. Les fonctions logiques
4. Simplification et minimisation
5. Fonctions remarquables
6. Les équations logiques
7. Les circuits logiquesEn ligne : http://books.google.com/books?id=05OdHAAACAAJ&hl=fr&cd=1&source=gbs_ViewAPI Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 017382 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017389 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017391 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017380 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017381 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017383 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017384 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017385 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017386 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017387 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017388 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017390 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017393 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017394 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018614 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018615 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place 018616 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018617 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018618 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Logique mathématique Type de document : texte imprimé Auteurs : Kleene, Stephen Cole, Auteur ; Jean Largeault, Traducteur Editeur : Paris : Jaques Gabay Année de publication : 2004 Importance : 412 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-87647-005-7 Note générale : Trad. de : "Mathematical Logic". - Reprod. photomécanique de l'éd. de : Paris, A. Colin, 1971 Langues : Français (fre) Mots-clés : Calcul des propositions
Mathématiques -- Philosophie
Logique mathématique non classique
Calcul des prédicats
Logique mathématiqueIndex. décimale : 510.6 Logique mathématique Résumé : La logique est à la base de tout raisonnement, qu'il soit mathématique, méthodologique, probabiliste, statistique, etc. Paradoxalement, beaucoup de chercheurs raisonnent avec une logique informelle; ce livre permet de rendre plus formelle cette essentielle logique. Après un rappel de la logique élémentaire, i.e. tables de vérité, calcul propositionnel, etc., ce manuel fait un excellent résumé de récents développements, quelques fois discutés, mais plus ou moins assimilés, e.g. calculabilité, décidabilité, incomplétude Note de contenu : Au sommaire :
* Logique mathématique élémentaire
- Le calcul propositionnel
- Le calcul des prédicats
- Le calcul des prédicats avec égalité
* La logique mathématique et les fondements des mathématiques
- Les fondements des mathématiques
- Calculabilité et décidabilité
- Le calcul des prédicats (Suppléments)Logique mathématique [texte imprimé] / Kleene, Stephen Cole, Auteur ; Jean Largeault, Traducteur . - Paris : Jaques Gabay, 2004 . - 412 p. : ill. ; 24 cm.
ISBN : 978-2-87647-005-7
Trad. de : "Mathematical Logic". - Reprod. photomécanique de l'éd. de : Paris, A. Colin, 1971
Langues : Français (fre)
Mots-clés : Calcul des propositions
Mathématiques -- Philosophie
Logique mathématique non classique
Calcul des prédicats
Logique mathématiqueIndex. décimale : 510.6 Logique mathématique Résumé : La logique est à la base de tout raisonnement, qu'il soit mathématique, méthodologique, probabiliste, statistique, etc. Paradoxalement, beaucoup de chercheurs raisonnent avec une logique informelle; ce livre permet de rendre plus formelle cette essentielle logique. Après un rappel de la logique élémentaire, i.e. tables de vérité, calcul propositionnel, etc., ce manuel fait un excellent résumé de récents développements, quelques fois discutés, mais plus ou moins assimilés, e.g. calculabilité, décidabilité, incomplétude Note de contenu : Au sommaire :
* Logique mathématique élémentaire
- Le calcul propositionnel
- Le calcul des prédicats
- Le calcul des prédicats avec égalité
* La logique mathématique et les fondements des mathématiques
- Les fondements des mathématiques
- Calculabilité et décidabilité
- Le calcul des prédicats (Suppléments)Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 052990 510.6 KLE Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Logique séquentielle Type de document : texte imprimé Auteurs : Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; J.-P. Richard, Collaborateur Mention d'édition : 3 éd. Editeur : Paris : Dunod Année de publication : 1976 Collection : Dunod université Importance : VI-[82] p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-04-000149-0 Note générale : Bibliogr. p. IV Langues : Français (fre) Mots-clés : Machines séquentielles, Théorie des
Électronique numérique
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Cet ouvrage traite de l'étude de systèmes, appelés systèmes logiques, dont les variables appartiennent à des ensembles finis. Cette classe de systèmes est largement utilisée dans les deux sciences pour l'ingénieur que sont l'automatique et l'informatique, et crée des liens entre elles. Note de contenu : Au sommaire :
1. Généralités-Structures
2. Représentation des systèmes séquentiels
3. Analyse des systèmes séquentiels
4. Synthèse des systèmes séquentiels. Méthode d'Huffman
5. Synthèse à l'aide d'éléments mémoires donnesLogique séquentielle [texte imprimé] / Jean Lagasse, Auteur ; Marc Courvoisier, Collaborateur ; J.-P. Richard, Collaborateur . - 3 éd. . - Dunod, 1976 . - VI-[82] p. : ill. ; 24 cm. - (Dunod université) .
ISBN : 978-2-04-000149-0
Bibliogr. p. IV
Langues : Français (fre)
Mots-clés : Machines séquentielles, Théorie des
Électronique numérique
Logique mathématique
Logique combinatoireIndex. décimale : 510.6 Logique mathématique Résumé : Cet ouvrage traite de l'étude de systèmes, appelés systèmes logiques, dont les variables appartiennent à des ensembles finis. Cette classe de systèmes est largement utilisée dans les deux sciences pour l'ingénieur que sont l'automatique et l'informatique, et crée des liens entre elles. Note de contenu : Au sommaire :
1. Généralités-Structures
2. Représentation des systèmes séquentiels
3. Analyse des systèmes séquentiels
4. Synthèse des systèmes séquentiels. Méthode d'Huffman
5. Synthèse à l'aide d'éléments mémoires donnesExemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 017258 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017240 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017259 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017242 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017243 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017244 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017245 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017246 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018609 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017247 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017248 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017249 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017250 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017251 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017254 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017255 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017252 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017257 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018610 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018611 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018612 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 018613 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible Consultation sur place 017253 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état 017241 510.6 LAG Papier Bibliothèque Centrale Mathématiques Disponible En bon état
Titre : Rapport sur le développement dans la R.P.R. de la théorie algébrique des mécanismes automatiques Type de document : texte imprimé Auteurs : Gr. C. Moisil, Auteur Editeur : Editura stintifica Année de publication : 1959 Importance : 57 p. Présentation : ill. Format : 24 cm. Note générale : la page de titre porte en plus : Extras din analele universitatii C.I. parhon bucuresti, seria Acta logica nr. 1-1959)
Bibliogr. p. 52-57Langues : Français (fre) Mots-clés : Logique mathématique
AlgèbreIndex. décimale : 510.6 Logique mathématique Rapport sur le développement dans la R.P.R. de la théorie algébrique des mécanismes automatiques [texte imprimé] / Gr. C. Moisil, Auteur . - Romanie : Editura stintifica, 1959 . - 57 p. : ill. ; 24 cm.
la page de titre porte en plus : Extras din analele universitatii C.I. parhon bucuresti, seria Acta logica nr. 1-1959)
Bibliogr. p. 52-57
Langues : Français (fre)
Mots-clés : Logique mathématique
AlgèbreIndex. décimale : 510.6 Logique mathématique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité Etat_Exemplaire 004616 510.6 MOI Papier Bibliothèque Annexe Mathématiques Disponible Consultation sur place
Permalink
