Résultat de la recherche
3 recherche sur le mot-clé
'calcul propositionnel' ![Surligner les mots recherchés Surligner les mots recherchés](./images/text_horizontalrule.png)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Imprimer la page de recherche courante...](./images/print.gif)
![Tris disponibles](./images/orderby_az.gif)
Titre : Logique mathØmatique : cours et exercices corrigØs Type de document : texte imprimé Auteurs : RenØ Cori ; Daniel Lascar, Auteur Mention d'édition : Nouv. prØsentation Editeur : Paris : Dunod Année de publication : 2003 Collection : Sciences sup Importance : XV-385 p. Format : 24 x 17 cm ISBN/ISSN/EAN : 978-2-10-005452-7 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : Boole, algLbre de manuels d'enseignement supØrieur calcul propositionnel calcul des prØdicats Index. décimale : 515510 Résumé : PrØsente successivement le calcul propositionnel, les algLbres de Boole, le calcul des prØdicats et les thØorLmes de complØtude. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Logique mathØmatique : cours et exercices corrigØs [texte imprimé] / RenØ Cori ; Daniel Lascar, Auteur . - Nouv. prØsentation . - Paris : Dunod, 2003 . - XV-385 p. ; 24 x 17 cm. - (Sciences sup) .
ISBN : 978-2-10-005452-7
Bibliogr. Index
Langues : Français (fre)
Mots-clés : Boole, algLbre de manuels d'enseignement supØrieur calcul propositionnel calcul des prØdicats Index. décimale : 515510 Résumé : PrØsente successivement le calcul propositionnel, les algLbres de Boole, le calcul des prØdicats et les thØorLmes de complØtude. Chaque chapitre est accompagnØ de nombreux exercices corrigØs. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité bfs32141 510-515-22/01 Livre Salle des thèses 515 Analyse Disponible
Titre : Initiation ? la logique formelle : avec exercices corrigés Type de document : texte imprimé Auteurs : Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Editeur : Bruxelles : DeBoeck Année de publication : 2003 Collection : démaeches de pensée Importance : 233 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-8041-4299-5 Note générale : Bibliogr. Index Langues : Français (fre) Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 160100 Résumé : Présente en 2 parties, la logique des propositions et la logique des prédicats : exemples de base abordés de fa?on informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse en particulier au domaine de la communication. Initiation ? la logique formelle : avec exercices corrigés [texte imprimé] / Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur . - Bruxelles : DeBoeck, 2003 . - 233 p. ; 24 x 16 cm. - (démaeches de pensée) .
ISBN : 978-2-8041-4299-5
Bibliogr. Index
Langues : Français (fre)
Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 160100 Résumé : Présente en 2 parties, la logique des propositions et la logique des prédicats : exemples de base abordés de fa?on informelle, présentation du langage formel, présentation de sa sémantique, définition de forme correcte du raisonnement, études de propriétés fondamentales, méthode des contre-exemples et méthode de déduction naturelle. S'adresse en particulier au domaine de la communication. Réservation
Réserver ce document
Exemplaires (3)
Code-barres Cote Support Localisation Section Disponibilité bsfd6787 510-511.3-01/03 Livre salle de consultation sur place 511Principes généraux Exclu du prêt BFS11453 510-511.3-01/01 Livre Salle des thèses 510Mathématiques Disponible bfsd6786 510-511.3-01/02 Livre Salle des thèses 511Principes généraux Disponible
Titre : Initiation ? la logique formelle : Exercices et corrigØs Type de document : texte imprimé Auteurs : Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur Mention d'édition : 2 L Ød. Editeur : Bruxelles : De Boeck Année de publication : 2005 Collection : DØmarches de pensØe Importance : 233 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-8041-5011-2 Note générale : . Index Langues : Français (fre) Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 511.3 Résumé : L'ouvrage propose ne introduction ? la logique contemporaine,? la fois rigoureuse et accØssible ? tous.La logique propositionnelle?la logique des prØdicats. Initiation ? la logique formelle : Exercices et corrigØs [texte imprimé] / Thierry Lucas ; Isabelle Berlanger, Auteur ; Isabelle De Greef, Auteur . - 2 L Ød. . - Bruxelles : De Boeck, 2005 . - 233 p. ; 24 x 16 cm. - (DØmarches de pensØe) .
ISBN : 978-2-8041-5011-2
. Index
Langues : Français (fre)
Mots-clés : logique manuels d'enseignement supØrieur calcul des prØdicats calcul propositionnel Index. décimale : 511.3 Résumé : L'ouvrage propose ne introduction ? la logique contemporaine,? la fois rigoureuse et accØssible ? tous.La logique propositionnelle?la logique des prØdicats. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité bfsd6792 510-511.3-15/02 Livre Salle des thèses 511Principes généraux Disponible