Logic, Symbolic and mathematical En

Fiche du sujet

Référentiel
Identifiant

Synonyme

Symbolic and mathematical logic Mathematical logic Logic, Universal Symbolic logic Algebra of logic

Discipline

Philosophie (101) Education (36) Histoire (34) Histoire, Philosophie et Sociologie des sciences (33) Linguistique (24) Economies et finances (15) Droit (10) Gestion et management (8) Architecture, aménagement de l'espace (8) Littératures (7) Sciences de l'information et de la communication (7) Sociologie (6) Science politique (6) Psychologie (6) Archéologie et Préhistoire (6) Géographie (3) Art et histoire de l'art (3) Anthropologie sociale et ethnologie (1)

Type de document

Articles (149) Livres et chapitres d'ouvrages (69) Autres (32) Colloques et conférences (27) Recensions (18) Mémoires, Thèses et HDR (16) Textes imprimés (14) Prépublication (6) Billets de blog (3) Matériels pédagogiques (2) Périodiques (1) Photos et images (1)

Auteur

Date

325 documents
Beth, Evert Willem (1908-1964)
Gerhard Heinzmann (3 avr. 2024)
Beth, Evert Willem (1908-1964)
Gerhard Heinzmann (2024)
Au-delà du nomologique
Nicolas Bouleau (2024)
HEAL2100. Argumentación Humana Eficaz y Lógica para el Siglo XXI. El siguiente paso en la evolución de la lógica
Dov Gabbay et al. (1 déc. 2023)
Le titre du document n'a pas été fourni à ISIDORE, pour consulter le document, cliquez ici
(5 oct. 2023)
Le titre du document n'a pas été fourni à ISIDORE, pour consulter le document, cliquez ici
(5 oct. 2023)
Exploring the components of the competence to construct a mental representation of mathematical problems in a fourth-grade student during mathematical logic problem solving
Nathalie Bisaillon et al. (10 juil. 2023)
Introducing mathematics undergraduate students to the theorem prover lean
Irene Garnelo et al. (10 juil. 2023)
Le titre du document n'a pas été fourni à ISIDORE, pour consulter le document, cliquez ici
(2 févr. 2023)
Introduction: Symbolic Logic and Scientific Philosophy
Paola Cantù et al. (4 janv. 2023)
Introduction: Symbolic Logic and Scientific Philosophy
Paola Cantù et al. (4 janv. 2023)
Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle
Paola Cantù et al. (2023)
Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle
Paola Cantù et al. (2023)
Computational linguistics as the horizon of projection of early machine translation
Jacqueline Léon (2023)
Apprentissage de la preuve au supérieur aux Antilles
Mickaelle Ramassamy et al. (2023)
Les écrans sont-ils des tiers ?
Daniel Marcelli (2023)
¡Pongámosle lógica! Aportes al pensamiento crítico, la argumentación y la comprensión lectora a partir del aprendizaje de la lógica formal
Juan Camilo Hernández-Rodríguez et al. (1 déc. 2022)
From musical genre to professional style: a Bourdieusian perspective on musicians at work
Pierre Bataille et al. (16 nov. 2022)
Un retour de notions de logique dans les programmes de mathématiques pour le lycée : un nouveau savoir à enseigner
Zoé Mesnil (3 nov. 2022)
Essai de modélisation du raisonnement humain
Arnaud Kohler (29 oct. 2022)
ARC: An Educational Project on Automated Reasoning in the Class
Isabela Drămnesc et al. (22 juin 2022)
La théorie des noms chez John Stuart Mill : abstraction et connotation
Michel Malherbe (7 avr. 2022)
Sciences du logiciel
Xavier Leroy (18 mars 2022)
Une autre logique. Sur les Objets mathématiques de Man Ray
Éric Brunier (3 févr. 2022)
Le titre du document n'a pas été fourni à ISIDORE, pour consulter le document, cliquez ici
(11 janv. 2022)

next