4º [EI] Matemáticas Discretas 2 (MD2)

[esramar]

Una pregunta. ¿Alguien sabe algo de las practicas de esta asignatura?

Falte un par de dias antes de navidad y no se si hay que entregar alguna practica de Coq para despues o si no ha explicado nada. De hecho, si alguien pudiera aclararme como puntuan las practicas se lo agradeceria.

Saludos!

[César]

Las prácticas (por lo menos el año pasado) las tienes que ir entregando en la fecha que te va diciendo, no sé que fechas son este año, y te las evalúan al final de todo en una defensa individual en la que te van preguntando cosas concretas.

[Hadrian]

Freire no dijo nada sobre eso, así que de momento no hay que entregar nada.

[ishinay]

Me llama la atención el que no haya dudas en el foro sobre esta asignatura. ¿Os han montado un foro como el año pasado?

[Sydanta]

Me llama la atención el que no haya dudas en el foro sobre esta asignatura. ¿Os han montado un foro como el año pasado?

Si lo han hecho yo no estoy informado.

[ishinay]

Pues nada... si alguien tiene dudas de Coq que pregunte por aquí.
El año pasado teníamos un foro que había puesto el chico de prácticas.

[susana]

Yo también estoy encantada de responder dudas, ya sea por aquí, mail o persona...

[ishinay]

Yo también estoy encantada de responder dudas, ya sea por aquí, mail o persona...

Hola, Susana. Creo que si estás tú por aquí ya puedo marcharme que tú te encargas mejor
Por cierto, ¿eres la misma Susana de MD2 del año pasado? ¿Eres la misma Susana del otro día en la cafetería? Vaya preguntas xD

[esramar]

Me llama la atención el que no haya dudas en el foro sobre esta asignatura.

¿no entender la asignatura en general cuenta como duda? :S

[ishinay]

¿no entender la asignatura en general cuenta como duda? :S

Sí que cuenta, pero esa duda en concreto tiene nombre especial: la GRAN DUDA.
Te preguntaría "concretamente qué no entiendes", pero sería algo infructuoso. Que sepas que yo también tuve tu misma duda durante 2 años. La GRAN DUDA también nos frustra a aquellos que intentamos responder dudas, porque no hay respuesta realmente posible
Te doy el pésame, y no es por ser pesimista...
Tal vez me pase un día por la clase de Coq para ver por dónde va Freire, y si va bastante retrasado montar algo rápido de explicación... o tal vez lo haga el curso que viene La verdad es que es una pena no ser capaz de hacer nada por tantos alumnos con la GRAN DUDA.
En fin... voy a dejar de navegar y a seguir leyendo el libro de Coq... si alguna vez ves a alguien leyendo el libro de Coq en el bus, ese soy yo xD (y que conste que no es porque sepa mucho Coq, es que estoy aprendiendo).

[susana]

Yo realmente recomiendo leer el libro. Yo llegué a entender realmente Coq gracias a ese libro. Es muy claro en las explicaciones.

[César]

Podríais crear el programa "apadrina una víctima de COQ"

[ishinay]

Yo realmente recomiendo leer el libro. Yo llegué a entender realmente Coq gracias a ese libro. Es muy claro en las explicaciones.

Yo leí el libro y no entendí nada. A cada frase me surgían 2 dudas más. ¿Tu hiciste antes lógica en computación? Esa asignatura es de gran ayuda antes de meterse con el Coq. Yo no la hice y cuando me miré las cosas por mi cuenta vi todo claro.
Si eres la Susana de mi año, no eres precisamente un buen ejemplo de lo que cuesta y frustra estudiar Coq... jajaja (es un piropo, que conste).

[susana]

¿Tu hiciste antes lógica en computación? Esa asignatura es de gran ayuda antes de meterse con el Coq. Yo no la hice y cuando me miré las cosas por mi cuenta vi todo claro.

Es verdad que lógica ayuda, yo la hice al mismo tiempo que MD2. Sobre todo la parte de deducción natural. De todas formas yo sigo apostando por el libro. A aquéllos que no les importe leer en inglés les sugiero que empiecen desde el principio (parece una chorrada, pero a veces los libros es mejor leerlos por capítulos salteados). En el capítulo 3 se explican las tácticas básicas y luego ir entendiendo poco a poco los tipos dependientes.

[esramar]

¿Tu hiciste antes lógica en computación? Esa asignatura es de gran ayuda antes de meterse con el Coq. Yo no la hice y cuando me miré las cosas por mi cuenta vi todo claro.

Es verdad que lógica ayuda, yo la hice al mismo tiempo que MD2. Sobre todo la parte de deducción natural. De todas formas yo sigo apostando por el libro. A aquéllos que no les importe leer en inglés les sugiero que empiecen desde el principio (parece una chorrada, pero a veces los libros es mejor leerlos por capítulos salteados). En el capítulo 3 se explican las tácticas básicas y luego ir entendiendo poco a poco los tipos dependientes.

yo me tengo que animar a empezarlo, ¿hay alguna pagina o libro, ademas de ese, que ayude algo? sobre todo para empezar de cero.