000			02222nam a2200289 a 4500
001			b10450154
003			ES-BaCBU
005			20171114164521.0
007			cr aa |||aaaaa
008			110330s2011 spc|||| s|||||0|| 0 spa|c
024	7		_aPID_00159944 _2ES-BaUOC
035			_a(ES-BaCBU)b5008267x
040			_cbumc
080			_a519.2
100			_aHuertas Sánchez, M. Antònia _915858
245	1	0	_aTeoría de conjuntos básica _h[Recurso electrónico] /
260			_aBarcelona : _bUniversitat Oberta de Catalunya, _c2011.
300			_a34p.
520			_aLa 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.
650	0	4	_aTeoría de conjuntos _xEnseñanza universitaria _97186
650	0	0	_aLibros electrónicos _98168
710	2		_aUniversitat Oberta de Catalunya. _97193
856	4	0	_uhttps://openlibra.com/en/book/teoria-de-conjuntos-basica _yTexto completo descargable Openlibra
940			_aUOC
942			_2ddc _cE-LIBRO
990			_aTipus:eMD
999			_c10656 _d10656