TY  - BOOK
AU  - Gautler, R
TI  - Lógica y Enseñanza de la Matematica
U1  - 511.3 /  
PY  - 1974///2.
CY  - Barcelona: 
PB  - Teide; 
KW  -  Lógica Simbólica
N2  - Cálculo de enunciados.-- Reflexiones elementales e intuitivas acerca del lenguaje.-- Reunión de palabras y frase.-- Frases verdaderas. frases falsas.-- Empleo de las palabras.-- Negación.-- Punto de vista del lógica.-- Material empleados por el lógico.-- Construcción de enunciados.-- Interpretación.-- Ejercicios.-- Abreviaciones usuales de ciertos enunciados.-- Hacia los cuantificadores.-- Molde con un lugar libre.-- Examen de una situación sencilla.-- Nuevo material introducido.-- Primer método para construir enunciados.-- Estudio de una situación sencilla.-- Material empleado.-- Elementos de lógica y enseñanza de la matemática.-- ¿Que es una teoría? ¿Que es una teoría matemática?.-- Los métodos de demostración.-- El razonamiento por recurrencia.-- Propiedades de las relaciones.-- Moldes y ecuaciones.-- Lógica formal y lógica matemática.-- Lógica aristotélica y lógica matemática.-- La lógica algebraica.-- La lógica y la fundamentación de la matemática
ER  -