Les dejo algunos ejercicios sencillos sobre nuestra primera aproximación al lenguaje de primer orden.
Demás, les dejo el primer tomo del GAMUT ya que algunas ideas de la semántica de primer orden las estudiaremos de allí. 

Ejercicios:
http://www.mediafire.com/?voc6mfc6ynca8av

Libro:
http://www.mediafire.com/?8tzn7wb8dp1kbm7

Les dejo los dos primeros prácticos del curso 2013.
Son de teoría intuitiva de conjuntos; el primero es sobre las relaciones y operaciones básicas; y en el segundo se proponen teoremas para ser demostrados.

Práctico I:

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

Práctico II:

http://www.mediafire.com/view/?6l567szgswk5i1q

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