Accueil
Catégories
Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche
Titre : Introduction à la logique Type de document : texte imprimé Auteurs : Alfred Tarski (1901-1983), Auteur Mention d'édition : [Reproduction en fac-similé] Editeur : Paris : J. Gabay Année de publication : c2008 Importance : 1 vol. (XV-246 p.) Format : 24 cm ISBN/ISSN/EAN : 978-2-87647-295-2 Note générale : Index français-anglais Langues : Français (fre) Langues originales : Anglais (eng) Catégories : Arithmétique -- Fondements ; Logique mathématique ; Logique symbolique et mathématique ; Mathématiques -- Philosophie Index. décimale : 511.3 Introduction à la logique [texte imprimé] / Alfred Tarski (1901-1983), Auteur . - [Reproduction en fac-similé] . - Paris (Paris) : J. Gabay, c2008 . - 1 vol. (XV-246 p.) ; 24 cm.
ISBN : 978-2-87647-295-2
Index français-anglais
Langues : Français (fre) Langues originales : Anglais (eng)
Catégories : Arithmétique -- Fondements ; Logique mathématique ; Logique symbolique et mathématique ; Mathématiques -- Philosophie Index. décimale : 511.3 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 24408 511.3 TARS I Livre LSH Libre Accès Disponible Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire
Titre de série : Logique, 1 Titre : Méthodes pour l'informatique fondamentale Type de document : texte imprimé Auteurs : Paul Gochet (1932-2011), Auteur ; Paul Gochet (1932-2011), Auteur ; Pascal Gribomont, Auteur ; André Thayse (1940-....), Auteur Editeur : Paris - France : Hermès science publications Année de publication : 1992 Collection : Langue, raisonnement, calcul, ISSN 0988-0569 Importance : 456 p. Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-86601-249-6 Note générale : Bibliogr. p. [435]-446. Index Langues : Français (fre) Catégories : Calcul des prédicats ; Intelligence artificielle ; Logique mathématique -- Manuels ; Logique symbolique et mathématique ; Prédicat (Logique) ; Théorie de la démonstration Index. décimale : 511.3 Note de contenu : v. 1. Méthodes pour l'informatique fondamentale -- v. 2. Méthodes formelles pour l'étude des programmes -- v. 3. Méthodes pour l'intelligence artificielle / Paul Gochet, Pascal Gribomont, André Thayse. Logique, 1. Méthodes pour l'informatique fondamentale [texte imprimé] / Paul Gochet (1932-2011), Auteur ; Paul Gochet (1932-2011), Auteur ; Pascal Gribomont, Auteur ; André Thayse (1940-....), Auteur . - Paris - France (Paris - France) : Hermès science publications, 1992 . - 456 p. : ill. ; 24 cm. - (Langue, raisonnement, calcul, ISSN 0988-0569) .
ISBN : 978-2-86601-249-6
Bibliogr. p. [435]-446. Index
Langues : Français (fre)
Catégories : Calcul des prédicats ; Intelligence artificielle ; Logique mathématique -- Manuels ; Logique symbolique et mathématique ; Prédicat (Logique) ; Théorie de la démonstration Index. décimale : 511.3 Note de contenu : v. 1. Méthodes pour l'informatique fondamentale -- v. 2. Méthodes formelles pour l'étude des programmes -- v. 3. Méthodes pour l'intelligence artificielle / Paul Gochet, Pascal Gribomont, André Thayse. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 23925 511.3 GOCH L Livre LSH Libre Accès Disponible
Titre : La logique pas à pas Type de document : texte imprimé Auteurs : Jacques Duparc (1962-....), Auteur Editeur : Lausanne - Suisse : Presses polytechniques et universitaires romandes Année de publication : c2015 Importance : 1 vol. (570 p.) Présentation : ill. en coul., couv. ill. en coul. Format : 24 cm ISBN/ISSN/EAN : 978-2-88915-126-4 Prix : 59 EUR Note générale : La couv. porte en plus : "spécialement conçu pour les buses en maths et les manchots de la logique"
Bibliogr. p. 553-559. IndexLangues : Français (fre) Catégories : Calcul propositionnel ; Logique -- Manuels d'enseignement supérieur ; Logique mathématique -- Manuels d'enseignement supérieur ; Logique symbolique et mathématique ; Modalité (Logique) ; Preuve, Théorie de la Index. décimale : 511.3 Résumé : Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel. Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou définitivement rétifs aux maths et au formalisme, il ne requiert aucune formation ou bagage préalable. Pas question cependant de maintenir le lecteur à distance, et de ne lui proposer que quelques aperçus lointains: c'est au contraire au cœur même de la matière que Jacques Duparc emmène celui-ci, en le guidant pas à pas sur une trace moderne et novatrice, privilégiant le jeu et l'intuitivité. Claire et didactique, une référence incontournable pour l'apprentissage de la logique. La logique pas à pas [texte imprimé] / Jacques Duparc (1962-....), Auteur . - Lausanne - Suisse (Lausanne - Suisse) : Presses polytechniques et universitaires romandes, c2015 . - 1 vol. (570 p.) : ill. en coul., couv. ill. en coul. ; 24 cm.
ISBN : 978-2-88915-126-4 : 59 EUR
La couv. porte en plus : "spécialement conçu pour les buses en maths et les manchots de la logique"
Bibliogr. p. 553-559. Index
Langues : Français (fre)
Catégories : Calcul propositionnel ; Logique -- Manuels d'enseignement supérieur ; Logique mathématique -- Manuels d'enseignement supérieur ; Logique symbolique et mathématique ; Modalité (Logique) ; Preuve, Théorie de la Index. décimale : 511.3 Résumé : Mettre les bases de la logique à la portée de tous, et plus particulièrement des non-mathématiciens, tel est l'objectif de ce manuel. Tout spécifiquement conçu pour les étudiants entretenant une relation conflictuelle avec les sciences, ou définitivement rétifs aux maths et au formalisme, il ne requiert aucune formation ou bagage préalable. Pas question cependant de maintenir le lecteur à distance, et de ne lui proposer que quelques aperçus lointains: c'est au contraire au cœur même de la matière que Jacques Duparc emmène celui-ci, en le guidant pas à pas sur une trace moderne et novatrice, privilégiant le jeu et l'intuitivité. Claire et didactique, une référence incontournable pour l'apprentissage de la logique. Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 35097 511.3 DUPA L Livre LSH Libre Accès Disponible
Titre : Logiques classiques et non classiques : essai sur les fondements de la logique Titre original : Ensaio sobre os fundamentos da logica Type de document : texte imprimé Auteurs : Newton Carneiro Afonso da Costa (1929-....), Auteur ; Jean-Yves Béziau (1965-....), Traducteur Editeur : Paris [France] : Masson Année de publication : 1997 Collection : Culture scientifique Importance : 275 p. Présentation : couv. ill. Format : 24 cm ISBN/ISSN/EAN : 978-2-225-85247-3 Note générale : Bibliogr. p. 269-272. Index Langues : Français (fre) Langues originales : Portugais (por) Catégories : Logique mathématique non classique ; Logique symbolique et mathématique Index. décimale : 160 Logiques classiques et non classiques = Ensaio sobre os fundamentos da logica : essai sur les fondements de la logique [texte imprimé] / Newton Carneiro Afonso da Costa (1929-....), Auteur ; Jean-Yves Béziau (1965-....), Traducteur . - Paris (21, Camille Desmoulins, 92789 Issy les Moulineaux, France) : Masson, 1997 . - 275 p. : couv. ill. ; 24 cm. - (Culture scientifique) .
ISBN : 978-2-225-85247-3
Bibliogr. p. 269-272. Index
Langues : Français (fre) Langues originales : Portugais (por)
Catégories : Logique mathématique non classique ; Logique symbolique et mathématique Index. décimale : 160 Réservation
Réserver ce document
Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 23922 160 COST L Livre LSH Libre Accès Disponible
