Descripción
Introducción a las técnicas e implicaciones filosóficas de la lógica formal con énfasis en la traducción de expresiones a forma simbólica, pruebas de corrección lógica, la formulación y aplicación de reglas de inferencia y la relación entre lógica y lenguaje. Abierto a estudiantes de primer año.
Condiciones y modalidades
- Clases magistrales tres horas a la semana. Pueden ofrecerse tutoriales en términos seleccionados.
Texto de referencia en su idioma de origen
An introduction to the techniques and philosophical implications of formal logic with emphasis on translation of expressions into symbolic form, testing for logical correctness, the formulation and application of rules of inference, and the relation between logic and language. Open to first-year students.
- Lectures three hours a week. Tutorials may be offered in selected terms.
Fuentes y referencias
Se conservan las fechas y las fuentes para ayudarle a verificar la información. Las traducciones se proponen para facilitar la lectura; la fuente oficial es la referencia para las condiciones y los requisitos.
Referencia de la fuente : https://calendar.carleton.ca/undergrad/courses/PHIL/