000			02416nam a22003617a 4500
999			_c10097 _d10097
005			20190313122059.0
008			190313b ck a|||| |||| 00| 0 spa d
020			_a9789588726045
040			_aUNAMBA _bspa _cBiblioteca Especializada de E.A.P. Ingeniería Informática y Sistemas _erda
041			_aspa
082			_d02
100			_aBohórquez Villamizar, Jaime Alejandro _eAutor
245			_aLógica y Matemáticas Discretas en al Informática: _bEl estilo calculatorio / _cJaime AlejandroBohórquez Villamizar _h[Impreso]
250			_aPrimera edición
264			_aBogotá - Colombia: _bEscuela Colombiana de Ingeniería, _c2012
300			_ax, 442 páginas _b: Ilustraciones a blanco y negro _c; 17 x 24.5 centímetros
504			_aBibliografía de la página 431 - 433 / incluye indice alfabético
506			_aSala especializada / a domicilio
520			_aMediante la presente obra se propone dotar a los estudiantes de habilidades en el uso del cálculo proposicional y de predicados para aplicarlas en la informática y las matemáticas discretas. Aunque el tema mismo del libro es “elemental”, en el sentido de fundamental, no es “fácil”. Aprender a razonar matemáticamente con efectividad exige tiempo y paciencia. El propósito es contribuir a que los estudiantes distingan las circunstancias en que el razonamiento sintáctico (calculatorio) resulta más adecuado y adquieran confianza en su uso; aprendan principios y estrategias para desarrollar pruebas o demostraciones; comprendan que la estructura de una fórmula ayuda a descubrir demostraciones, y relacionen los argumentos informales e intuitivos con los métodos de demostración formal para que, al final, se apropien de la noción de ésta y aprecien el rigor, la presión, la brevedad y la elegancia en los argumentos.
526			_aE.A.P. Ingeniería Informática y Sistemas
546			_aTexto en español
650		0	_914438 _aLÓGICA SIMBÓLICA Y MATEMÁTICA
650		0	_928807 _aARITMETICA
650		0	_93229 _aTEORÍA DE CONJUNTOS
650		0	_912656 _aLÓGICA MATEMÁTICA
650		0	_912656 _aLÓGICA MATEMÁTICA
651			_aCOLOMBIA
900			_bLIB
910			_aLennin Huisa Cevallos _b13/03/2019
942			_2ddc _a109207BEIISC _cLIB