Edición de «Lógica y Computabilidad»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 1: | Línea 1: | ||
{{ | {{Revisar guías}} | ||
'''Lógica y Computabilidad''' es una materia que estudia formalmente la lógica proposicional y la lógica de primer orden, e introduce la teoría de la computabilidad. La materia es dictada por el [http://www.dm.uba.ar Departamento de Matemática] en el primer cuatrimestre de cada año y por el Departamento de [[Computación]] en el verano y segundo cuatrimestre de cada año. Según el [[Plan de la Carrera|plan de la carrera]], es una materia a ser cursada en [[Plan de la Carrera#Tercer año|tercer año]]. Es correlativa de [[Algoritmos y Estructuras de Datos II]], y es requerida para cursar [[Paradigmas de Lenguajes de Programación]] y [[Teoría de Lenguajes]]. | '''Lógica y Computabilidad''' es una materia que estudia formalmente la lógica proposicional y la lógica de primer orden, e introduce la teoría de la computabilidad. La materia es dictada por el [http://www.dm.uba.ar Departamento de Matemática] en el primer cuatrimestre de cada año y por el Departamento de [[Computación]] en el verano y segundo cuatrimestre de cada año. Según el [[Plan de la Carrera|plan de la carrera]], es una materia a ser cursada en [[Plan de la Carrera#Tercer año|tercer año]]. Es correlativa de [[Algoritmos y Estructuras de Datos II]], y es requerida para cursar [[Paradigmas de Lenguajes de Programación]] y [[Teoría de Lenguajes]]. | ||