Tarski's World
CHFR
CHFR001
Résumé, summary
Tarski's world is a computer-based introduction to first-order logic. First-order logic has become a requisite tool for the study of a multitude of disciplines, from philosophy and mathematics to linguistics, psychology, computer science, and artificial intelligence
Discipline, subject :
logique
philosophie
linguistique
informatique
intelligence artificielle
sciences
philosophy
filosofia
Informatik
computing/computer science
informatica
Naturwissenschaft
sciences
scienze
artificial intelligency
computer science
computing
linguistics
logic
Public :
postobligatoire
université
Weiterführende Schulen
upper high school
postobligatorio
Universität
university
universita`
Contacts :
Pereboom, Dirk
Collège Ste Croix, rue Fougère
1700
FRIBOURG
Tel :
Mail :
Fax :
Pédagogie, pedagogy :
Un programme d'exercices en logique propositionnelle
Apprentissage, learning :
L'étudiant est confronté à différents niveaux d'exercices et à différents systèmes de logique symbolique de difficulté grandissante
Enseignement, teaching :
L'objectif est d'acquérir une certaine familiarité avec les techniques de la logique de premier ordre
Technique :
Un programme Macintosh
Société, society :
Culture :
Institution :
Logistique :
Une bonne connaissance de la logique moderne est nécessaire; il s'agit d'un programme pour élèves avancés
Remarques, remarks :
Le programme visualise différentes situations par des images de corps géométriques en trois dimensions