| Autor |
Mensaje |
Amadeo
Nivel 9
Registrado: 20 Oct 2008
Mensajes: 1436
Carrera: No especificada
|
|
Bueno, mi pregunta es esta... ¿Se ve en alguna materia (aunque sea electiva) los paradigmas fucional, lógico, etc? Porque anduve mirando por ahí pero no vi ninguna materia en donde se vea eso... y me pareció medio tristón que no se vea ni siquiera por arriba  (aunque a esta altura ya no me sorprende).
|
|
|
|
|
|
 |
    |
|
DiegoNC
Nivel 4
Registrado: 17 Sep 2005
Mensajes: 86
Carrera: Informática
|
|
De funcional lo poco que podés conseguir es:
75.14 Lenguajes Formales (+ &)
75.24/75.31 Teoría de la Programación (+)/Teoría de Lenguaje (+ &)
|
|
|
|
|
|
| |
 |
|
facundo.olano
Nivel 8
Edad: 36
Registrado: 10 Ago 2006
Mensajes: 808
Ubicación: encadenado al ánima
Carrera: Informática
|
|
Se ve en cierta medida en Teoría de lenguaje [75.31], aunque quizás no ves tantos paradigmas, ni en la profundidad que esperarías por el hecho de que es una materia de 4 hs y la mitad del cuatrimestre se usa para exposiciones de un lenguaje en particular.
Ahí ves programación declarativa/funcional, un par de tipos de concurrencia, estado explícito, objetos; pero está más bien orientado a la sintaxis y a lo que hace en cada caso la máquina virtual del lenguaje. El libro que usan está bastante bueno y cubre varios modelos más de los que se llegan a ver en clase.
Aun así me parece lejos la mejor alternativa que tenés si te querés meter con un paradigma nuevo. Sobre todo porque tenés que elegir un lenguaje para investigar, y ahi podés ir tan lejos como vos quieras.
Después tengo entendido que en Lenguajes formales [75.14] se ve programación funcional, y en Inteligencia Artificial [75.23] se ve Prolog (de ahí a ver programación lógica puede llegar a haber bastante distancia igual), pero por las referencias que tengo ninguna de las dos parece valer la pena.
|
|
|
|
_________________
 
|
|
  |
   |
|
Freddy
Nivel 8
Edad: 34
Registrado: 29 Oct 2008
Mensajes: 630
Ubicación: Lanús
Carrera: Sistemas
|
|
| De programación funcional tengo entendido que tenés Lenguajes formales, y de programación lógica no se si hay algo que valga la pena, Inteligencia Artificial es bastante pedorra.
|
|
|
|
|
|
  |
|
|
Amadeo
Nivel 9
Registrado: 20 Oct 2008
Mensajes: 1436
Carrera: No especificada
|
|
Uhh... que bajón. Realmente me da mucha bronca, porque es cualquier cosa que como Informático tenga, por ejemplo, Química obligatoria pero pueda salir sin saber que carajo es el paradigma funcional (porque al fin y al cabo lo poco que se ve está en una materia electiva). Estaría bueno tratarlo esto si llegan a querer modificar el plan de estudios de la carrera...
BTW... (y para no abrir otro thread), ¿Se ve en alguna materia algo de teoría de la computación (maquinas de turing y esas cosas)? Porque yo vi una (teoría de grafos) donde creo que se daba, pero esa materia no se dicta hace como 6 años tengo entendido...
Diganme que al menos eso se ve 
|
|
|
|
|
|
| |
|
|
DiegoNC
Nivel 4
Registrado: 17 Sep 2005
Mensajes: 86
Carrera: Informática
|
|
| Amadeo escribió:
|
Uhh... que bajón. Realmente me da mucha bronca, porque es cualquier cosa que como Informático tenga, por ejemplo, Química obligatoria pero pueda salir sin saber que carajo es el paradigma funcional (porque al fin y al cabo lo poco que se ve está en una materia electiva). Estaría bueno tratarlo esto si llegan a querer modificar el plan de estudios de la carrera...
|
Comparto 
| Amadeo escribió:
|
BTW... (y para no abrir otro thread), ¿Se ve en alguna materia algo de teoría de la computación (maquinas de turing y esas cosas)? Porque yo vi una (teoría de grafos) donde creo que se daba, pero esa materia no se dicta hace como 6 años tengo entendido...
Diganme que al menos eso se ve
|
No conozco mucho del tema así que agarré el indice del articulo de la Wikipedia. 
Teoría de la computación
1 Principales subramas
1.1 Teoría de autómatas
No
1.2 Teoría de la computabilidad
1.3 Teoría de la complejidad computacional
Posiblemente en Teoria de Algoritmos
2 Otras subramas
2.1 Modelos de cómputo
Una pequeña introducción a Cálculo Lamda en Lenguajes formales.
2.2 Teoría algorítmica de la información
No. Aparente lo toca tangencialmente Organización de Datos al dar compresión, pero la cosa se centra más en la teoría de Shannon.
2.2 Especificación y verificación formal
No creo. Acá se hacen pruebas
2.3 La Teoría del aprendizaje computacional
Supongo que se puede hacer Introducción a los Sistemas Inteligentes.
2.4 Teoría de tipos
La familia de "Algoritmos y Pr..". No se ven tipos de datos algebraicos. 
|
|
|
|
|
|
| |
|
|
Dx9
Moderador
Edad: 37
Registrado: 03 Ene 2007
Mensajes: 1552
Carrera: Informática
|
|
| DiegoNC escribió:
|
| Amadeo escribió:
|
Uhh... que bajón. Realmente me da mucha bronca, porque es cualquier cosa que como Informático tenga, por ejemplo, Química obligatoria pero pueda salir sin saber que carajo es el paradigma funcional (porque al fin y al cabo lo poco que se ve está en una materia electiva). Estaría bueno tratarlo esto si llegan a querer modificar el plan de estudios de la carrera...
|
Comparto
|
Ojo, que tengamos una materia que trate el tema, no significa que la materia valga la pena...
|
|
|
|
|
|
 |
|
|
DiegoNC
Nivel 4
Registrado: 17 Sep 2005
Mensajes: 86
Carrera: Informática
|
|
Cierto. De hecho la frase de facundo ("de ahí a ver programación lógica puede llegar a haber bastante distancia igual") también aplica a este caso.
Pero creo que Amadeo se refería más a los temas que a la materia en particular.
|
|
|
|
|
|
| |
|
|
MirianQ
Nivel 8
Edad: 35
Registrado: 29 Feb 2008
Mensajes: 675
Ubicación: Siempre desvirtuando... siempre.
Carrera: Electrónica y Informática
|
|
| Dx9 escribió:
|
| DiegoNC escribió:
|
| Amadeo escribió:
|
Uhh... que bajón. Realmente me da mucha bronca, porque es cualquier cosa que como Informático tenga, por ejemplo, Química obligatoria pero pueda salir sin saber que carajo es el paradigma funcional (porque al fin y al cabo lo poco que se ve está en una materia electiva). Estaría bueno tratarlo esto si llegan a querer modificar el plan de estudios de la carrera...
|
Comparto
|
Ojo, que tengamos una materia que trate el tema, no significa que la materia valga la pena...
|
Y que tengamos una materia que trate el tema, no significa que vayamos a salir "sabiendo" el tema.
Yo creo que no es necesario que tengas una materia que diga "aca se ve(n) el(los) paradigma(s) X". A veces implicitamente podes/debes investigar por tu cuenta para una materia que te pide algo practico y vos tengas que elegir la mejor forma de encarar la resolucion del problema. Ahi pones en juego tu capacidad de investigacion y de decision. Identificas la naturaleza del problema, ideas una solucion y en base a eso elegis tus herramientas.
Esto que voy a decir ya se discutio en alguna parte, pero lo repito para que se entienda a donde voy: hay gente que cree que todo puede resolverse aplicando lo mismo siempre (el caso mas comun en querer usar java y usar objetos para todo). Sin embargo, la cosa se pone mas divertida cuando investigas alternativas de resolucion para un problema dado...
Me comentaron sobre Teoría del lenguaje... que puedas investigar lenguajes no convencionales está buenísimo... de ahí podes sacar provecho para investigar otros paradigmas y sus aplicaciones.
|
|
|
|
_________________
|
|
   |
|
|
Freddy
Nivel 8
Edad: 34
Registrado: 29 Oct 2008
Mensajes: 630
Ubicación: Lanús
Carrera: Sistemas
|
|
| Amadeo escribió:
|
BTW... (y para no abrir otro thread), ¿Se ve en alguna materia algo de teoría de la computación (maquinas de turing y esas cosas)? Porque yo vi una (teoría de grafos) donde creo que se daba, pero esa materia no se dicta hace como 6 años tengo entendido...
Diganme que al menos eso se ve
|
En casi todo lo que preguntas esta carrera no le pasa ni cerca. Yo te diría que si te interesan mucho esos temas empieces a averiguar por pedir simultaneidad con cs. de la computación. Igualmente, para poder cursar esas materias como lógica y computabilidad, teoría de lenguajes, inteligencia artificial, etc, necesitas estar un poco avanzado.
|
|
|
|
|
|
| |
|
|
Amadeo
Nivel 9
Registrado: 20 Oct 2008
Mensajes: 1436
Carrera: No especificada
|
|
Si... lo estuve pensando. Pasa que a mi me interesa también la electrónica, y en cs. de la computacion no se ve nada de eso... o sea, de cualquier manera estoy cagado jajaja
O tendría que seguir las 2 carreras, pero... es compliqueti.
|
|
|
|
|
|
| |
|
|
nico_gnr
Nivel 8
Edad: 34
Registrado: 22 Nov 2008
Mensajes: 589
Carrera: No especificada
|
|
| |
|
|
Amadeo
Nivel 9
Registrado: 20 Oct 2008
Mensajes: 1436
Carrera: No especificada
|
|
Pero me voy a recibir de las 2 a los 45 jaja
Y además es recontra pesadisimo
|
|
|
|
|
|
| |
|
|
Johann
Nivel 9
Edad: 34
Registrado: 04 Abr 2009
Mensajes: 1098
Ubicación: Nuñez
Carrera: Informática
|
|
Para qué querés que te expliquen cosas como máquina de Touring en la facultad? Es teoría sin sentido ni aplicación práctica (o sea, no es muy ingenieril), podés leer un libro y listo.
Sobre los paradigmas de programación lógico y funcional, es increíble que no se enseñen por lo menos en alguna optativa.
En las materias CIM no se da nada de programación lógica?
|
|
|
|
|
|
| |
|
|
Amadeo
Nivel 9
Registrado: 20 Oct 2008
Mensajes: 1436
Carrera: No especificada
|
|
| Johann escribió:
|
|
Para qué querés que te expliquen cosas como máquina de Touring en la facultad? Es teoría sin sentido ni aplicación práctica (o sea, no es muy ingenieril), podés leer un libro y listo.
|
Porque es la BASE de la Informática. Ya que te rompen tanto en la carrera con Quimica o Fisica que en gral. no te sirve para un carajo ni en lo práctico ni en lo teórico, yo creo que estaría bueno que aunque sea tengan la gentileza de enseñarte eso que te va a servir para formarte como Informático, al margen de que después no lo andes usando.
|
|
|
|
|
|
| |
|
|
|
|
