A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Résultat de la recherche
5 résultat(s) recherche sur le mot-clé 'prédicat' 
Affiner la recherche Générer le flux rss de la recherche
Partager le résultat de cette recherche Interroger des sources externesPredicates and fibrations / Duško PAVLOVI? (1957)
Titre : Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic Type de document : texte imprimé Auteurs : Duško PAVLOVI?, Auteur Editeur : Rijksuniversiteit Utrecht Année de publication : 1957 Importance : IX-237+X p. Présentation : ill. Note générale : Version éditée de thèse Langues : Anglais Mots-clés : logique constructive prédicat fibration logique mathémathique Predicates and fibrations : from type theoretical to category theoretical presentation of constructive logic [texte imprimé] / Duško PAVLOVI?, Auteur . - [S.l.] : Rijksuniversiteit Utrecht, 1957 . - IX-237+X p. : ill.
Version éditée de thèse
Langues : Anglais
Mots-clés : logique constructive prédicat fibration logique mathémathique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 5537 PAV/02/6449 Livre Recherche Salle Disponible 
Titre : Activités concernant les structures logiques élémentaires pour l'école maternelle. Fascicule 1 : La catégorisation Type de document : texte imprimé Auteurs : IREM des Pays de la Loire Nantes, Editeur scientifique Editeur : Nantes : IREM des Pays de la Loire Année de publication : 2009 Importance : 42 p. Présentation : ill., coul. ISBN/ISSN/EAN : 978-2-86300-033-5 Langues : Français Mots-clés : catégorisation ensemble quantification prédicat Résumé : Ce fascicule a vocation à montrer un ensemble structuré de séances visant à développer chez l'enfant des constituants cognitifs relatifs à la catégorisation puis au tri et enfin à la sériation. Du matériel pédagogique complète la brochure (il peut être emprunté à l'IREM de Nantes). Les activités proposées concernent la petite, la moyenne ou la grande section dans les domaines géométriques, sensoriels, numériques ou du langage. Des apports théoriques dans le domaine mathématiques ou sur des aspects psychologiques complètent la brochure. Note de contenu : bibliogr. En ligne : http://numerisation.univ-irem.fr/NA/INA09302/INA09302.pdf Format de la ressource électronique : Activités concernant les structures logiques élémentaires pour l'école maternelle. Fascicule 1 : La catégorisation [texte imprimé] / IREM des Pays de la Loire Nantes, Editeur scientifique . - Nantes : IREM des Pays de la Loire, 2009 . - 42 p. : ill., coul.
ISBN : 978-2-86300-033-5
Langues : Français
Mots-clés : catégorisation ensemble quantification prédicat Résumé : Ce fascicule a vocation à montrer un ensemble structuré de séances visant à développer chez l'enfant des constituants cognitifs relatifs à la catégorisation puis au tri et enfin à la sériation. Du matériel pédagogique complète la brochure (il peut être emprunté à l'IREM de Nantes). Les activités proposées concernent la petite, la moyenne ou la grande section dans les domaines géométriques, sensoriels, numériques ou du langage. Des apports théoriques dans le domaine mathématiques ou sur des aspects psychologiques complètent la brochure. Note de contenu : bibliogr. En ligne : http://numerisation.univ-irem.fr/NA/INA09302/INA09302.pdf Format de la ressource électronique : Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i3563 B/PDL/2009 Livre IREM Salle Disponible
Titre : Hierarchies of predicates of finite types Type de document : texte imprimé Auteurs : D. A. CLARKE, Auteur Editeur : Providence, R. I. [Etats Unis] : American Mathematical Society Année de publication : 1964 Collection : Memoirs of the American Mathematical Society, ISSN 0065-9266 num. 51 Importance : 95 p. Langues : Anglais Catégories : 60G25
62M20Mots-clés : prédicat fonction récursive Note de contenu : bibliogr. Hierarchies of predicates of finite types [texte imprimé] / D. A. CLARKE, Auteur . - Providence, R. I. (Etats Unis) : American Mathematical Society, 1964 . - 95 p.. - (Memoirs of the American Mathematical Society, ISSN 0065-9266; 51) .
Langues : Anglais
Catégories : 60G25
62M20Mots-clés : prédicat fonction récursive Note de contenu : bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4977 854/51 Livre Recherche Salle Disponible
Titre : Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats Type de document : texte imprimé Auteurs : Daniel PONASSE, Auteur Editeur : Paris : O.C.D.L. Année de publication : Cop. 1967 Importance : 163 p. Langues : Français Catégories : 03-xx Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats [texte imprimé] / Daniel PONASSE, Auteur . - Paris : O.C.D.L., Cop. 1967 . - 163 p.
Langues : Français
Catégories : 03-xx Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 4411 PON/02/4079 a Livre Recherche Salle Disponible 5542 PON/02/4079 b Livre Recherche Salle Disponible 5540 PON/02/4079 c Livre Recherche Salle Disponible 20833 PON/02/8747 Livre Recherche Salle Exclu du prêt
Titre : Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats Type de document : texte imprimé Auteurs : Daniel PONASSE, Auteur Mention d'édition : 2ème éd. Editeur : Paris : O.C.D.L. Année de publication : Cop. 1972 Importance : 163 p. Langues : Français Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Logique mathématique : éléments de base : calcul propositionnel, calcul des prédicats [texte imprimé] / Daniel PONASSE, Auteur . - 2ème éd. . - Paris : O.C.D.L., Cop. 1972 . - 163 p.
Langues : Français
Mots-clés : logique mathématique prédicat calcul propositionnel Note de contenu : index, bibliogr. Exemplaires
Code-barres Cote Support Localisation Section Disponibilité i674 PON/02/i674 Livre Recherche Salle Exclu du prêt
