Initiation à l'approche logique et au calcul :: SCD d'Orléans

Initiation à l'approche logique et au calcul

Initiation à l'approche logique et au calcul

Guardat en:

Dades bibliogràfiques
Autor corporatiu:	Collectif d'alphabétisation (Autor)
Format:	Livre papier
Idioma:	Français
Publicat:	Paris : F. Maspero impr. 1973, cop. 1973.
Col·lecció:	Textes à l'appui Série Pédagogie
Matèries:	Logique Enseignement Calcul
Autres localisations:	Voir dans le Sudoc

Ítems similars

Calcul différentiel pour les langues de la logique : théorie et applications
per: Thayse, André, 1940-
Publicat: (2004)

Manuel de logique : introduction à la logique des dialogues : exercices corrigés : manuel de logique
per: McConaughey, Zoé, 1991-
Publicat: (2026)

Éléments de logique formelle
per: Chazal, Gérard, 1947-
Publicat: (1996)

Introduction à la logique
per: Leroux, Jean, 1948-
Publicat: (1998)

Logique mathématique. Calcul propositionnel, algèbres de Boole, calcul des prédicats : cours et exercices
per: Cori, René, mathématicien, et al.
Publicat: (1993)

Logique mathématique
per: Kleene, Stephen Cole, 1909-1994
Publicat: (1987)

Lambda-calcul : types et modèles
per: Krivine, Jean-Louis, 1939-
Publicat: (1990)

Logique mathématique
per: Pabion, Jean-François, 1942-
Publicat: (1976)

Logique et complexité
per: Lassaigne, Richard, et al.
Publicat: (1996)

Introduction à la logique contemporaine
per: Blanché, Robert, 1898-1975
Publicat: (1969)

Eléments de logique classique : avec exercices résolus et questionnaire d'examen
per: Mutombo, Marc
Publicat: (2003)

La logique, pas à pas
per: Duparc, Jacques, 1962-
Publicat: (2015)

Logique. Méthodes pour l'informatique fondamentale
per: Gochet, Paul, 1932-2011, logicien, et al.
Publicat: (1990)

Initiation au calcul (enfants de 4 à 7 ans) : accompagnés d'une documentation sur l'initiation au calcul
per: Piaget, Jean, 1896-1980, et al.
Publicat: (1953)

Logique(s), langages formels et complexité pour l'informatique
per: Jussien, Narendra, 1973-
Publicat: (2006)

Logique, réduction, résolution
per: Lalement, René, 19..-...., Mathématicien
Publicat: (1990)

Initiation progressive au calcul tensoriel
per: Jeanperrin, Claude, 19..-
Publicat: (1987)

Initiation progressive au calcul tensoriel : cours et exercices corrigés
per: Jeanperrin, Claude, 19..-
Publicat: (1999)

Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings

Typed lambda calculi and applications : [first] International Conference on Typed Lambda Calculi and Applications TLCA '93 March, 16 18, 1993, Utrech, The Netherlands : proceedings

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre
per: Devismes, Stéphane, 1979-, et al.
Publicat: (2012)

Typed lambda calculi and applications : second International Conference on Typed Lambda Calculi and Applications, TLCA '95, Edinburgh, United Kingdom, April 10 12, 1995 : proceedings

Initiation à la logique formelle : avec exercices et corrigés
per: Lucas, Thierry, 1943-, et al.
Publicat: (2014)

Initiation au raisonnement logique CE : observer, comprendre, analyser, mettre en relation, déduire, conclure
per: Ros, Sandra, instituteur, et al.
Publicat: (2001)

Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings

Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 10-12, 2003 : proceedings

Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings

Logiques temporelles pour la vérification : expressivité, complexité, algorithmes
per: Markey, Nicolas, 1976-
Publicat: (2003)

Calcul mental, calcul rapide : niveau CE2-CM : [Livre de l'élève]
per: C. L. R.
Publicat: (1992)

Calcul différentiel et calcul intégral
per: El Jaouhari, Noureddine, 1954-...., mathématicien
Publicat: (2022)

Calcul différentiel et calcul intégral
per: El Jaouhari, Noureddine, 1954-
Publicat: (2022)

Calculatrices : 4 opérations à l'école
per: Boule, François, 19..-...., professeur de mathématiques
Publicat: (1980)

Calculs de signification par une logique d'opérateurs
per: Desclès, Jean-Pierre, et al.
Publicat: (2016)

Calcul infinitésimal
per: Dieudonné, Jean, 1906-1992
Publicat: (1968)

Calculatrices en mathématiques
per: Olivier, Yves, 1951-, et al.
Publicat: (1994)

Logique mathématique. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours et exercices corrigés
per: Cori, René, 1949-...., mathématicien, et al.
Publicat: (2003)

Notions de logique
per: Thiry, Philippe, 1949-
Publicat: (2014)

Le calcul sans imprévu
per: Pommellet, Alain, et al.
Publicat: (1995)

L'enseignement du calcul
Publicat: (1962)

Calcul par l'informatique : méthode logique d'enseignement des mathématiques
per: Bertin, Marie-José
Publicat: (1983)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales