Les dejo un peuqeño práctico sobre lo que dimos de semántica proposicional.

http://www.mediafire.com/view/?4spd0z4b9fc4dcw

Les dejo el primer parcial con fecha de entrega el martes 26 de junio. Además y como ayuda, tienen un material extra sobre lenguajes formales con el lenguaje proposicional como ejemplo; se trata de unas notas escritas por el Prof. Alejandro Chemiel. Finalmente, les dejo una pequeña nota sobre pruebas inductivas con un ejemplo bastante explicado para que tomen como modelo.



Parcial:
http://www.mediafire.com/?z6rakwyn04qv7f6

Notas sobre lenguajes formales:
http://www.mediafire.com/?mwjha68wzuwtau5

Estrategia para pruebas inductivas:
http://www.mediafire.com/?c1ccbsluc8cd6as

Les dejo un texto de Agustín Rayo (profesor del MIT) sobre lenguajes formales y formalización. No es para que lo lean todo. La primera parte habla acerca de lo que estuvimos viendo en clase.

http://www.mediafire.com/view/?yi7p5zlayjz84t5

JORNADAS ITINERANTES INTERDISCIPLINARIAS

DEPARTAMENTO DE FILOSOFÍA 2012

Destinadas a profesores y estudiantes de Formación Docente en Filosofía, Matemática, Historia, Sociología, Comunicación Visual, Literatura y demás interesados en las temáticas propuestas.

 

Horario de todos los cursos: 9 a 12 y de 14 a 17 hs. (12 hs en total)

Se expedirá certificado de asistencia y de aprobación del curso.

Informes e Inscripciones:  filosofia@adinet.com.uy

Se dispone de alojamiento. Es imprescindible la inscripción previa  a los cursos

CERP SUROESTE (COLONIA) -  viernes 15 y sábado 16 de junio

CERP LITORAL (SALTO) – viernes 3 y sábado 4 de agosto

MONTEVIDEO (IPA)  - viernes 14 y sábado 15 de setiembre

RIVERA (IFD) – viernes 19 y sábado 20 de octubre

                 ORGANIZA: DEPARTAMENTO de FILOSOFÍA  Y CERP SUROESTE 

CONSEJO DE FORMACIÓN EN EDUCACIÓN - ANEP

Práctico sobre Teoría de Conjuntos II

Les dejo el segundo práctico de conjuntos que consiste en hacer demostraciones siguiendo el método dado en clase.

http://www.mediafire.com/view/?91a6o3dq429uor6

Práctico sobre Teoría de Conjuntos.

Les dejo el primer práctico sobre Teoría de Conjuntos. Contiene ejercicios sobre definiciones de conjuntos, relaciones de pertenencia e inclusión y las operaciones dadas.


Práctico sobre Teoría de Conjuntos I:

http://www.mediafire.com/?oruy93tjxf3387o

Teoría de Conjuntos

El material de Zalabardo sobre teoría de conjuntos no lo he colgado porque su digitalización no quedó del todo bien. Mañana (21/3) al medio día lo dejo en la fotocopiadora. En el fin de semana lo digitalizo nuevamente para que quede a la orden.
Les agrego (como complemento) un materia de María Manzano que tiene unas notas históricas y conceptuales muy útiles. Es un buen ejercicio leer varias formulaciones de una misma teoría o problema.

Maria Manzano_Teoría de conjuntos: http://www.mediafire.com/?t1a9ph5i6xwy73f

Inicio de Curso 20/3/2012

En la primera clase se presenta la estructura típica de un curso básico de Lógica. Se da un panorama de cómo la lógica representa y evalua argumentos haciendo énfasis en lo importante que es poseer un lenguaje para representar estructuras argumentales, y un método que permita evaluar la validez de los argumentos.
De estas reflexiones se concluye que el modo que la lógica estudia los argumentos es exclusivamente formal.
El eje temático del curso será la relación entre la formalización y el lenguaje ordinario.



Les dejo la introducción al libro "Introducción a la Lógica"de L. T. F. Gamut.

http://www.mediafire.com/?1d6kn389yw9t99o