000			02415nam a22003617i 4500
005			20251030135934.0
006			a|||||r|||| 00| 0
007			t|
008			240529s2020 ||||| |||| 00| 0 spa d
020			_a9789587149364
020			_a9789587149371
040			_bspa _aCO-ViULL _erda
041	0		_aspa
082	0	4	_a511.3 _bAC174 _223
100	1		_aAcevedo Vélez, Diana Patricia _9162103, _eautor. _4aut
245	1	0	_aLógica y teoría de conjuntos.
250			_a1.
264		1	_aMedellín : _bEditorial Universidad de Antioquía, _c2020.
300			_a188 páginas : _bIncluye ilustraciones ; _c25 centímetros.
336			_atexto _btxt _2rdacontent
337			_asin mediación _bn _2rdamedia
338			_avolumen _bnc _2rdacarrier
490	1		_aFormación / Matemáticas
504			_aIncluye bibliografía (pp. 185-186)
505	8		_aSistemas formales. -- Profundización. -- Lógica proposicional. -- Proposiciones y conectores. -- Proposiciones compuestas. -- Tautologías, interminaciones y contradicciones. -- Circuitos lógicos. -- Sistema formal. -- Reglas de formación. -- Axiomas. -- Reglas de inferencia. -- Teoremas. -- Lógica cuantificacional. -- Nociones preliminares. -- Métodos de demostración. -- Ejemplos de lógica proposicional. -- Teoría de conjuntos. -- Relaciones. -- Ideas preliminares. -- Relaciones binarias. -- Relaciones definidas sobre conjuntos.
520			_aLógica y teoría de conjuntos reúne notas de clase que han enriquecido durante años el curso que lleva este nombre en la Licenciatura en Matemáticas y Física, en la que los autores han sido parte activa como estudiantes y como docentes. El curso se ha enfocado en la formalidad de las matemáticas (lógica clásica) y en la interpretación de esta. Los estudiantes tienen en sus manos un libro que les servirá de apoyo en el curso mencionado y en otros, como como Cálculo (conjuntos y relaciones) y Estadística (conjuntos), pero, sobre todo, lo encontrarán útil para los cursos de Análisis y de Sistemas y Estructuras (inducción, métodos de demostración, conjuntos)
650		7	_aTeoría de conjuntos _vProblemas. _2Armarc _9162104
650		7	_aLógica simbólica y matemática. _2Armarc _910427
650		7	_aAdquisición de conjuntos de datos. _2Armarc _9162105
650		7	_aLógica algebraica. _2Armarc _987205
700	1		_aArango Parra, Juan Carlos _9162106.
942			_2ddc _cBK
999			_c47774 _d47774