Cdigo: 16436 Centro: Ciencias Titulacin: Matem,ticas Nivel: Grado Tpoc Fonnacl n B'sica N'. de Crditos 9 1.13. Referencias de consulta 1 Course bibliography El libro de texto principal: A. CRDOBA: La saga de los numeros. Editorial Crtica , Col eccin Drakontos , 20J6. Otras referencias: A. CUPILLARJ: The Nuts and Bo/ts of Proofs, Third Edition (paperback). Academic Press, 2005. K. DEVLI N: Sets, functions, and logic: an introduction to abstract mathemat ics. Chapman ft Hall , 1995. J. DORRONSORO y E. HERNNDEZ: Nmeros, grupas y anillas. Addison Wesl e y 1 beroameri can a, 1996. P. J. ECCLES: An /ntroduction to Mathematica/ Reasoning: Numbers, Sets and Functions. Cambridge University Press, 1997. W. J . GILBERf, S. A. VANSTONE, An introduction t o mathematical thi nking: a lgebra and number systems. Pearson Prenti ce Hall, 2005. P. HALMOS: Naive Set Theory. Springer, 1974. A. G. HAMILTON: Numbers, sets and axioms, the apparatus of mathematics. Cambridge University Press, 1982. M. W. LI EBECK: A concise introduction to pure mathematics. CRC Press, Tayl or & Francis group, 2011 . Aslgoatura: Estructuras Discretas y lgica Cdigo: 17824 Centro: Escuela Politcnica Superior Titulacin: Grado en lreerieria Nivel: Grado Tipo: Fcnnacl n Obligatoria N' de crditos: 6 1.13. Referencias de consulta 1. [ENG] Discrete Ma(hematics and its :.appfications, K.H. Rosen, Ed. M; Graw Hill, 2004. 2. 3. Matemticas Discretas, T. Veerarajan, Ed . Nr:.GrfNII Hill, 2008. 4 . Nilsson, N.J.: "Artificial lntell igeoce, a new synthesis", Ed. M:J rgan Kaufmann Publishers, 1998 5. [ENG] Feynman lectures on computation, Richard P. Feynman, Addison [ESP] Conferencias sobre computacin, Ri:: hard P. Feynman, E d. Drakontos clsicos, :DJ3. 6. Introduccin a la lgica furmai , Alfredo Oeao, AliCJlZa Editorial, 20.)!l . 7. Lgica COflllUtacional, Enrique et al. , Ed. Thomson, :DJ3. 8. Elementos de lgica forma, Calixto Badesa et al., Ed. Ariel, 2003. 9. Artificial lntell igence: a modern approach, S. y P. llbrvig, E d. P rentice Hall, 1995. 10.An introduction to T.H. Cormen ,The NH Press (2009) 6 de 12 Asi!Jlatura: Fundamentos de Computadores Cdigo: 17816 Centro: Escuela Poli ttrico Superior Titliacir< Grado en lrgerieria Nivel: Grado Tipo: Formacin Obligatoria N' de crditos: 6 1.13. Referencias de consulta 1. Fundamentos de Sistemas Digitaes. Thomasl. Floyd . Prentice Hall . 9 Ed. 2C06. 2. Digital Design and Computer AR:hitect ure. David NvJney Harris y Sarah l. Harris. Morgan KaufrmmJ. 2007. 3. Fundamentos de d1seo lgico y de computadoras. M. Morris Mano y Charles R. Kime. Prentice Hall . 3 Ed. :DJS. 4. Sistemas Digitales. Principios y_ Tocci y Widmer. P rentice Hall. a E d. 2C03. 5. Sistemas Di gitales y Tecnctoga de Computadores. J. GaR:ia Zubia, l. Angulo Martnez, J.M. Ang.llo Usategui. Thomson. 2 Ed. 2C07. 6. Fundamentos de Diseo Lgico. Olarles H. Roth. Thomson. s Ed.2004. 7. Sistemas Digitales. A. Lloris Ruz, A. Prieto Espinosa, L. Parrill a Roure. /kGraw- Hill. 2C03. 8. Electrnica Digita . L. Cuesta, A. Gil Padilla, F. Remi ro. Serie Schaum.lkGraw- Hill. 2COO. 8 de 15 Asignatura: 1 C.digo: 17817 Centro: Escuela Politcnica Superi or Titulacin: Grado en lngenierialnformtica Nivel: Grado Tipo: Formacin bsica t>P de crdta;: 6 1. 13. Referencias de consulta Bibliografa: A continuacin se listan algunos libros de texto ordenados por su nivel de dificultad. Conviene que el estudiante consllte estas obras en la biblioteca antes de decidirse a e oiT()rar al guna de ellas. 1. C Programmng: A mode rn approach (second edition) . K. N. King. W. W. Norton and Company, 2C8. INF /681.3.062-C/KIN. Excelente manual de C, bien estructurado, actual izado con el estndar C99 y accesble no solo para principiantes en C, sino incluso para progranadores noveles. Se trata de uno de los textos de C de referencia en muchas universidades norteame ricalaS. 2. C. Prime r Plus .Jfi fth edition) . S tephen Prata. Sams Publ i shing, 2005. IIIF/681 .3.062-(/PRA. Este es un libro que explica con mJCha claridad los cambios experimentados por el lenguaj e de un estndar a otro. Cada captulo contiene c uestiones de repaso y ejercici os de programa:n. 3. Head first C. David Griffiths. O'Reilly, 2013. 1NF/681.3.062..C/ GRI. Corno otros libros de la colECcin Head First, este texto de C utiliza los l timos resultados sobre procesos de aprendizaje para faciitar el aprendizaje del lenguaje de programacin. Su lectura resulta muy entretenida y que sorprende al estudiante. 4. A book en C. Programming in C (fourth edition). Kelley, Al and Pohl, Ira. Addison-Wesley, ;r(l4. INF/681.3.062-C!KEL. Este texto utiliza el mtodo de la diseccin, ideado por el autor en 1984, que no es otra cosa que una descripcin detalada de cada programa instruccin a instruccin. La ltima edicin contiene material para fa:ilitar el trnsito del estudiante a C++ y Java. 5. Introduccin a la computacin (edicin 11"). Brookshear, J . Glenn. Pearson Addison-Wesley, 201 3. 1 NF /681.3/ BRO. Este libro es una introduccin general y muy accesible a la informtica. En el captulo primero se estudia la representacin de la info rma:n como cadenas de bits. Nivel mediJ: 6. Programacin en C/ C++. Alejandro Sierra, Manuel Alfonseca. Anaya Multimedia, 2C5. INF/681.3.062-C!SIE. Este texto es una gua rpida que describe conjuntamente las caractersticas de los lenguajes C y C++, destancando las diferencias de enfoque entre ambos lenguajes. Puede resul tar muy til para saltar a C++ una vez que se de conocimientos bsicos sobre C. 7. lntroductory C: pointers. functions and files . Richard Petersen. kademic Press, 1997. C/007/ PET. Este libro pone espECial nfasis en todo aquello que tiene que ver con punte ros. Est especiclrnente indicado para aquellos programadores que temen a los punteros. Cada captulo termina con un interesante resumen. 8. la prctica de la programacin. B.W. Kemighan. Pearson Educa:in, AOJ. IIIF/681 . 3.06/KER. Se trata de un texto que responde d forma prctica a cuestiones rela: bnadas con el estilo, diseo, depuracin, pruebas, eficiencia y mantenimiento del software. los ejemplos estn ese ritos en los C y C++. Asigoatura: ProfY"amac:in 1 Cdigo: 17817 Centro: Escuela Politcnico Superior Tit ulacin: Grado en lreenleria Nivel: Grado Tipo: Fcnnacln N' de crditos: 6 Nivel avanzad o: 7. The e programming l anw age. Brian W. Kernighan, Dennis M. Ritchie. Prentice Hall, 1988. IIIF/ 681.3.062-<:!KER. Es sin duda el libro de programacin en e ms famoso de la historia y est escrito por los diseadores del Su i nfluencia ha sido tal que hoy en da el primer ejei'Jl)lo de casi cualquier l enguaj e es un ejemplo ideado por los autores: el programa hola mundo. Otra caracterstica que han incorporado rru::hos textos posteriores es su captulo O que contiene una rpida introduccin al l enguaje en menos de D pginas. Es una referencia i ndispensabl e para cualqui er programador que se recomienda adqui ri r en su idioma original . 8. Ingeniera de software clsica y orientada a objetos (sext a Edicin) . Stephen Schach. M::Graw-Hill. IIIF/681 .3.06/SCH. Este l ibro que ya es un cl sico presenta una introduccin amigable a la ingeniera del software talto cl sica como orientada a objetos. Material electrrco de trabaj o : l os documentos electrnicos de trabajo (resumen de comandos, recomenda::iones sobre la el abora::in de documentacin y pseudocdigo, recomenda:: iones soo re legibilidad en el cdigo, tabl a ASOI, ejercicios del curso y ejerrplos de exmenes, etc.) se publ ican en la seccin de PROG1 en plataformaMoodle lhtto://uamvirtual.es) 1\ 7 de 12 Clculo 1 Cdigo: 16434 Centro: Ciencias Tit ulacirc IY\atem Nivel: Grado Tipox Formacin Bsico N". de Crditos 9 1.13. Referencias de consulta 1 Course bibliography LARSON, R., HOSTETLER, R.P., EDWARDS, B. H. 'Clculo' (6 ed). Vol. 1 y 2. E d. McGraw-Hil l, 2001 SALAS, S. l. y Hl LLE, E. 'Clculo de una y varias variables' (4ed). Volumen 1 y 2. Ed. Revert. Barcelona, 2002. SPlVAK, MJCHAEL. "Calcul us. clculo 1 nfinitesimal ". Ed. Revert. Barcelona, 1970