Lógica y Enseñanza de la Matematica
Gautler, R
Lógica y Enseñanza de la Matematica - Barcelona: Teide; 19742. - 124+(2) Paginas: 22 cm.;
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.
Lógica Simbólica
511.3 / / G276L / CG
Lógica y Enseñanza de la Matematica - Barcelona: Teide; 19742. - 124+(2) Paginas: 22 cm.;
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.
Lógica Simbólica
511.3 / / G276L / CG