Logique formelle

3 crédits · Deuxième-troisième année

Introduire au calcul propositionnel et à la quantification. Caractérisation de la logique formelle contemporaine. Présentation d'un calcul propositionnel complet et application à ce calcul de la méthode des tables de vérité ou des tableaux sémantiques. Introduction à la théorie de la quantification et au calcul des prédicats. Université du Québec à Trois-Rivières 3351, boulevard des Forges, Trois-Rivières (Québec) G8Z 4M3 Information générale : crmultiservice@uqtr.ca Téléphone : 819 376-5011 Sans frais : 1 800 365-0922 Liens utiles Admission Futurs étudiants internationaux Campus et centres universitaires Services aux étudiants Découvrir l'UQTR Journées portes ouvertes Logement et résidences Pourquoi choisir l'UQTR?