[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