La teoría de conjuntos es una parte de las matemáticas que forma parte de la fundamentación de la lógica y de la informática. En este módulo se hará una introducción básica necesaria para la fundamentación de la lógica de predicados, pero su estudio en profundidad requiere conocimientos complejos de matemáticas y también de lógica. Nuestro objetivo es, únicamente, presentar las nociones básicas de la teoría de conjuntos con ejemplos y ejercicios sencillos.
Este módulo, por tanto, además de proporcionaros una herramienta matemática de amplio uso en muchas otras asignaturas de informática, es importante para comprender una parte del módulo de lógica de predicados.
En los capítulos que siguen se presenta la llamada teoría básica de conjuntos, con los conceptos básicos de conjunto, subconjunto, elemento y pertenencia. Se presentan también los conceptos de relación y de función, que son fundamentales en muchos campos de la informática.
La teoría de conjuntos es el lenguaje donde se expresan las matemáticas y la lógica, y por ello impregna todos los campos de la ciencias y la ingeniería. Este módulo que consiste en una introducción especialmente preparada para la lógica, os servirá, sin embargo, en muchos otros contextos formales de todo tipo.
Link descarga:
No hay comentarios:
Publicar un comentario