PODCAST EDUCATIVO "CUIDEMOS LAS CHINAMPAS"

miércoles, 16 de junio de 2010

Anteproyecto. Actividad 5.

Nombre del profesor: Eloísa Amalia González Reyes
Fecha: 13 de junio de 2010


ACTIVIDAD 5 Definición de un proyecto educativo.


Nivel académico y subsistema o disciplina

Bachillerato (Escuela Nacional Preparatoria) ENP
Asignatura
Lógica (Cuarto año)

Unidad temática

Unidad VII. Cálculo Proposicional


Contenidos
7.1 Elementos del cálculo proposicional.
7.2 Clasificación de las proposiciones.
7.3 Las conectivas lógicas.
7.4 El lenguaje simbólico de la lógica proposicional.
7.5 Reglas sintácticas.
7.6 Tablas de verdad.

Título (opcional)

Población
Alumnos de cuarto año de bachillerato (aproximadamente 50)
Duración
14 horas aproximadamente
Propósitos

Se espera que los alumnos:
v Distingan entre diferentes tipos de proposiciones.
v Identifiquen la función de las conectivas lógicas.
v Operen el lenguaje simbólico de la lógica proposicional
v Apliquen las tablas de verdad para comprobar la verdad o falsedad de proposiciones.

Habilidades digitales
Localización de información en Internet.
Subir tareas a la plataforma.
Participar en foros.

Materiales
Plataforma Moodle
Cuestionarios

Actividades
Cuestionario diagnóstico sobre lógica simbólica.
Presentación electrónica: Elementos y funciones del cálculo proposicional.
- Consulta de textos recomendados en la biblioteca del plantel.
- Resolución de ejercicios en el aula.
Resolución de cuestionarios.
Foro para comentar la función de las conectivas.
Bibliografía de consulta para el profesor

Arnau, Hilari y Montaner, Pedro, Teoría y práctica de la lógica proposicional, Barcelona, Ediciones Vinces-Vives, 1997.

Copi, Irving y Cohen, Carl, Introducción a la lógica, México, Limusa, 2001.


Copi, Irving , Introducción a la lógica en Versión Electrónica. Vease:
http://www.quedelibros.com/libro/57760/Introduccion-a-la-logica.html

Sttebing, susan, Introducción a la lógica moderna, México, Fondo de Cultura Económica, 1985.

Suppes-Hill, Introducción a la Lógica matemática, Madrid, Reverté, 1995.



martes, 8 de junio de 2010

Módulo 1 Actividad 4.1

Taller de Lógica.

MÓDULO 1 ACTIVIDAD 4.1

Opción elegida: (b - c).

b) El uso de Internet cómo medio de comunicación (uso del foro)
c) Presentación de información y procesamiento de datos: Procesador de textos


Materia que imparte:
Lógica. (4to. Año de Bachillerato).


Tema de la actividad:
Las conectivas lógicas.


Habilidad avanzada (tomada del Modelo de madurez).

Manejo avanzado del procesador de textos. (opción de formato, columna, tabla,)
Uso de Internet como medio de comunicación. Uso de un foro para discutir un tema

Descripción de la actividad

Los alumnos revisarán el texto: El uso de las conectivas lógicas para examinar las características y la función de las siguientes conectivas: Negación, conjunción, disyunción, condicional y bicondicional, así como las expresiones con que se identifican y los símbolos con que se representan.

Realizarán un trabajo escrito en procesador de textos en donde incluyan lo siguiente:
a) Caracterización de cada una de las conectivas, explicitando la función que desempeñan.
b) Elaboración de cuatro ejemplos en lenguaje natural de cada una de las 5 conectivas.
c) Pasar del lenguaje natural al lenguaje simbólico los ejemplos anteriores.

La presentación del trabajo se realizará en formato de informe, espaciado 1.5, letra arial 12.
Elaborar una tabla a tres columnas. En la primera columna anotar los ejemplos solicitados (20 en total) En la segunda columna anotar el tipo de conectiva que se emplea. En la tercera columna anotar la representación simbólica que le corresponde.

Foro
Los alumnos ingresaran a un foro en donde discutirán con sus compañeros qué es lo que distingue a una proposición simple o atómica de una compuesta o molecular.
El Foro se realizará en la Plataforma Moodle.

domingo, 6 de junio de 2010

Bienvenidos

Este es el blog del Taller de cálculo proposicional.