Matematica INET Profesorado de Ciencias de la Computacion

Para ver este sitio necesitás Macromedia Flash Player 6 o superior. Si puedes ver la letra "X" moviendose, es porque ya lo tienes. Si no, descargalo gratis.

INET

Instituto Normal de Enseñanza Técnica

Matemática I para Informática 2011

Profesorado de Ciencias de la Computación

Curso coordinado por los Profs. Paula Echenique, Germán Ferrari y Saúl Tenenbaum.

Clases de consulta para todos los grupos durante febrero 2012 ..... serán publicadas más adelante.

Programa Matemática I.

Artículos para la formación del futuro docente: ¿Qué es la matemática discreta? La Matemática Discreta como Formación Básica.

Sobre la crueldad de verdaderamente enseñar Ciencias de la Computación "Edsger W. Dijkstra" resumen artículo completo

Teórico de conjuntos Práctico Nº 1 Propiedades de conjuntos Práctico Nº 1 Anexo una resolución otros ejercicios resueltos algo más

Instalación y primeros pasos en Haskell Tipos simples Tuplas Práctico Nº 2 una resolución Una duda

Haskell: Manual sobre Haskell Sitio sobre Haskell Sitio para descargar Haskell 2006 WinHugs-Sep2006.exe Resumen sobre Haskell

Ayuda para la instalación de Haskell en UBUNTU-Linux <<<< ---- NUEVO Se agradece al estudiante Andrés Berni por su colaboración.

Conjuntos, Relaciones y Funciones: materiales IPA Relaciones: Práctico Nº 3 Práctico Nº 3 profundización.

Implementación de Relaciones en Haskell Propiedad transitiva: repaso

Resumen de Relaciones y Funciones Resumen de PROPIEDADES DE LAS RELACIONES BINARIAS Práctico Nº 4_ Funciones

Practico Nº 4 _ Funciones (Profundización)

Práctico Nº 5 _ Implementación de funciones en Haskell Concepto de recursión Algunos ejercicios resueltos Más resoluciones

Ejercicios para preparar el Primer Parcial: Primer_Pre-Parcial_2010 Soluciones

Haskell con Ubuntu Se agradece a la estudiante Sofía Vitale por el dato. Felicitaciones, Sofía, por tu blog tan interesate.

Primera Prueba Parcial 2010 Intento de resolución2010 Primer parcial 2011 Una solución del Parcial 2011

Currificación más Currificación otro poco más Práctico Nº 6

Recursión Conjuntos def por Induccion Funciones sobre conjuntos inductivos Modularización naturales.hs Práctico7 Profundizacion

Listas Práctico 8: Listas Algunas_soluciones Más soluciones Y más soluciones Una más

InduccionEstructural Práctico 9: Un ejercicio resuelto

Práctico 10: Divisibilidad y conteo Ejercicios resueltos Más ejercicios resueltos

Árboles Práctico 11

Examen de setiembre 2010 2º Pre-Parcial 2010

Algunas respuestas al 2º pre-parcial Solución ejercicio 1

Resp1 Resp2 Resp3 Resp4 Resp5 Resp6 Resp7

Resolución de los prácticos Nº 7, Nº 8 y Nº 10. Se agradece al estudiante Nicolas Benitez por su aporte.

2da_Prueba_Parcial Resolución

Ejercicios resueltos en clase de consulta más ejercicios

Examen 09 de diciembre del 2010 Resolución ejerc 1y2 Resolución ejerc 3, 6b y 8 Resolución ejerc 4, 5, 6a, 8

Segundo parcial 2011

Pensando en el examen teórico. Preguntas posibles para el Teórico más preguntas para el teórico más más preguntas posibles

Más ejercicios para preparar el examen

Examenes: febrero 2010 julio 2010 setiembre 2010 febrero 2011 feb2011 Ejercicios 2 y 3 abril 2011 julio 2011 julio 2011 solución set 2011 set 2011 soluc sublistas dic 2011 dic 2011 ejerc 1 al 4 dic 2011 ejerc 6,7 dic 2011 ejerc 5

Programa de Apoyo al Profesorado de Informática 2010

Bibliografía para el curso:

0) Apuntes, ejercicios, resúmenes teóricos y orientación general de la Prof. Ing. Paula Echenique, ya citados mas arriba.

1) Discrete Mathematics Using a Computer. John O’Donnell, Cordelia Hall y Rex Page. Springer-Verlag London Limited 2006

2) "Matemática Discreta y Combinatoria" Ralph. P. Grimaldi Editorial Pearson Prentice Hall 3a edición, en español. Se puede descargar el libro. Primera parte Segunda parte. (Se agradece a Daniel Carrasco por el dato.)

3) "Elementos de Matemáticas Discretas" C. L. Liu Mc Graw Hill segunda edición, en español.

4) "Matemática Discreta" Kenneth A. Ross y Charles R.B. Wright segunda edición, Prentice Hall, en español.

5) "Matemática Discreta y sus aplicaciones" Kenneth H. Rosen 5 edición, Mc Graw Hill, en español. (fotocopias en el CEIPA). Descargar el libro en español, aquí. Sitio web del libro, en inglés.

6) Razonando con Haskell - Un curso de programación funcional. Ruiz, Gutierrez, Guerrero, Gallardo, ed. Thomson; descargar aquí. Se agradece al Prof. Germán Ferrari por el link y algo más ....

7) Sitio web sobre Haskell: se dispone de Haskell online, con ayuda, libros, y algo más. Se agradece de nuevo al estudiante Juan Gastelú por el link.

8) Mathematics for Computer Science by F Thomson Leighton, Albert R Meyer, Massachusets Institute of Technology, sep 2010

Se agradece muy especialmente al estudiante Juan Gastelú por este link y por mil cosas más !!!. Gracias Juan.

9) Temas de Programación Funcional (en español) Se trata de un libro para HAskell de José A. Alonso Jiménez. Es el curso 2011 de Lógica Computacional de la Universidad de Sevilla. Se agradece al estudiante Daniel Carrasco por este valioso aporte. Gracias Daniel !!

El INET cuenta con varios libros de matemática: varios ejemplares de Grimaldi y de Rosen, todos en español. Los libros se prestan por 1 semana. Visite la biblioteca. No se lo pierda !!!!

Grimaldi: descargar el libro en inglés (12MB; demora un ratito) e instalar el plug-in para poder leerlo. Hay más de 500 libros para descargar, casi todos en inglés, aquí. Más libros acá.

Responsable del sitio web: Prof. Saúl Tenenbaum

Este sitio web cuenta con el aval de la Inspección de Matemática del Consejo de Educación Secundaria, Cf. Exp 3/3934/06

Montevideo - Uruguay - actualizado el 30 de enero del 2011

Se agradece al estudiante Francisco Gutierrez de 1º año de Bachillerato en Informática de la Escuela Técnica del Buceo por el dibujo de la nueva X.