000 aam a22 4500
999 _c38394
_d38394
001 11415
003 OSt
005 20230626155401.0
008 a0000002010 mx 0000000000spa00
020 _a978-607-02-1302-1
040 _cRDA
082 _a519.4 M425m
100 _97042
_aMiranda Perea, Favio Ezequiel
245 _aMatemáticas discretas
_btemas de computación
264 _914767
_aMéxico :
_915742
_bUniversidad Nacional Autónoma de México, Facultad de Ciencias
_914015
_c2010
300 _b**no definido**
_a379 p.
500 _aSubtítulo tomado de la carátula
_aIncluye bibliografía e índice
505 _aLógica matemática: Lógica proposicional - Lógica de predicados -- Inducción y recursión: inducción y recursión -- Teorías gráficas: Conceptos de teorías gráficas - Exploración en gráficas - Modelado con gráficas - Árboles - Multigráficas y gráficas dirigidas
650 1 4 _aMatemáticas
_929644
650 1 4 _921511
_aLógica matemática
700 _942060
_aViso Gurovich, Elisa
_945443
_ecoaut.
942 _cBK
_2ddc
_02