Clase del 25/4/11

Se trabajó la relación de inclusión entre conjuntos (incluyendo algunos teoremas básicos); algo importante a tener en cuenta es que la inclusión se diferencia de la pertenecia en que se da sólo entre conjuntos, mientras que la de pertenencia se da sólo entre elementos y conjuntos (tomando siempre en cuenta que un conjunto puede tener entre sus elementos a otros conjuntos).
Luego se definieron las operaciones de unión e intersección entre conjuntos. Éstas operaciónes, a diferencia de las relaciones de pertenencia e inclusión, nos permiten generar conjuntos a partir de conjuntos dados previamente.

Queda pendiente terminar el primer práctico de conjunstos. Habrá también un segundo práctico sobre conjuntos que contendrá varios teoremas para demostrar, ejercicios de conjunto potencia, relaciones y funciones. Una vez que terminemos con teoría de conjuntos comenzaremos con nuestro primer sistema lógico: Lógica Proposicional Clásica.

Gamut. Selección de la Introducción

Este material contiene lo trabajado en la clase del 11/04/11

http://www.megaupload.com/?d=OGCF4FMD

Aquí tienen una versión en PDF

http://www.megaupload.com/?d=4BKFXBHP

Programas para trabajar semántica de orden uno.

El archivo comprimido contiene tres programas, uno de los cuales -el Tarski's World- es útil para trabajar semántica de orden uno. Los tres programas pertenecen a J. Etchemendy y J. Barwise del CSLI de la Universidad de Stanford.

http://www.megaupload.com/?d=W6KM7C70

Clase del 11/4/2011

Se trabajaron los siguientes conceptos en una aproximación intuitiva: (1) el concepto de lógica como el estudio de la validez formal de los argumentos; (2) el concepto de consecuencia lógica como transmisión necesaria de la verdad de premisas a conclusión; (3) el concepto de constante lógica, como el conjunto de expresiones cuya substitución afecta la validez de un argumento,  y no lógica,  como el conjunto de expresiones cuya substitución no afecta la validez de un argumento; (4) el concepto de forma lógica como el esquema de argumento que obtenemos cuando nos abstraemos del contenido específico de los enunciados para concentrarnos en la estructura inferencial del argumento.

Además comenzamos a trabajar con Teoría Intuitiva de Conjuntos; presentamos el  Axioma de Extensión, las dos formas de definir un conjunto (por extensión y comprensión), y la relación de pertenencia conjuntística.
Quedan disponibles para bajar los materiales junto con ejercicios.

Primer práctico de Teoría de Conjuntos.

En el siguiente enlace pueden descargar el primer práctico de Teoría de Conjuntos:

http://www.megaupload.com/?d=FJ6HPXZ1

Material sobre Teoría de Conjuntos.

En los siguientes enlaces pueden descargar estos libros:

 Luciano Garrido:
http://www.megaupload.com/?d=CZEIFM08

María Manzano:
http://www.megaupload.com/?d=GNFVZ3HX

Luego de ser descargados deben ser descomprimidos con el programa WinRAR.
Pueden descargar este programa en el siguiente enlace:

http://www.taringa.net/posts/downloads/2619488/WinRAR-4_1_65-_Full-Espanol_.html