[pyar] OT: Fisica en carrera de programación

[Ricardo Aráoz]

On 27/07/10 19:10, Daniel Moisset wrote:
> 2010/7/27 Ricardo Armas<rarmas en gmail.com>:
>    
>> 2010/7/26 Matías Herranz<matiasherranz en gmail.com>:
>>      
>>> Mis dos centavos:
>>>
>>> Yo estoy haciendo las últimas materias de la Licenciatura en Ciencias de la
>>> Computación, en FaMAF ( http://www.famaf.unc.edu.ar/ ) y, en particular, hoy
>>> desde las 9.00 hasta las 13.30 rendí (solo, fui el único que se presentó)
>>> física.
>>>        
>> Me dio curiosidad y miré el programa, ¿lógica en el segundo
>> cuatrimestre de cuarto año?
>>      
> Sí, pero seguramente no es lo que te imaginas; "Lógica" es una materia
> bastante densa (en contenido) + formal donde vez estructuras
> algebraícas y modelos, reticulados, completitud y consistencia,
> teorema de Göedel.
>
> Algebra proposicional básica (P /\ Q =>  P, ese tipo de cosas) se ve en
> primer cuatrimestre de primer año en introducción a los algoritmos...
> Y en 2do cuatrimestre de segundo año tienen introducción a la lógica
> (donde ven automatas, lenguajes y expresiones regulares, gramaticas
> libres de contexto, etc.)
>
> o sea que lógica esta en cuarto año porque en realidad bien podría
> llamrse Lógica III :)
>
> [aclaro: doy clase en la misma facu que cursa matías, por eso contesto]
>
>    

Aaaaahhhhhhh! Ahora entiendo por qué Matías agradece tener que dar 
física en 4to año. Me imagino que tanto en algebra proposicional básica 
como en estructuras algebraicas, modelos, reticulados, completitud y 
consistencia, Göedel, autómatas, lenguages y expresiones regulares, 
gramáticas libres de contexto, etc. no hace falta "resolver problemas de 
manera abstracta", para eso *seguro* que necesitás la física , 
especialmente física I. jajaja