Teoría de conjuntos básica [Recurso electrónico] /
Tipo de material:
TextoDetalles de publicación: Barcelona : Universitat Oberta de Catalunya, 2011Descripción: 34pTema(s): Teoría de conjuntos -- Enseñanza universitaria | Libros electrónicosRecursos en línea: Texto completo descargable Openlibra Resumen: 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.
Actualmente es indiscutible el hecho de que la teoría de conjuntos es imprescindible para fundamentar la lógica y en particular la lógica de predicados, ya que proporciona el lenguaje formal con el que expresar la semántica de la lógica de predicados, que será equivalente a las tablas de verdad de la lógica de enunciados. 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.
| Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Signatura | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems |
|---|---|---|---|---|---|---|---|---|
libro electrónico
|
Biblioteca Central | Biblioteca Central | Reference | Disponible |
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.
Actualmente es indiscutible el hecho de que la teoría de conjuntos es imprescindible para fundamentar la lógica y en particular la lógica de predicados, ya que proporciona el lenguaje formal con el que expresar la semántica de la lógica de predicados, que será equivalente a las tablas de verdad de la lógica de enunciados. 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.
Haga clic en una imagen para verla en el visor de imágenes
No hay comentarios en este titulo.