Seguimos buscando a Arshak. Ayudanos compartiendo!
Encuesta no oficial de docentes
Resultados de la encuesta no oficial de docentes
Probaste el SIGA Helper?

Donar $100 Donar $200 Donar $500 Donar mensualmente


Enviar respuesta 
 
Calificación:
  • 0 votos - 0 Media
  • 1
  • 2
  • 3
  • 4
  • 5
Buscar en el tema
TPS - ¿Demostración?
Autor Mensaje
rulo Sin conexión
Ultra Nerd Mod
By demons driven!
*********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.333
Agradecimientos dados: 51
Agradecimientos: 67 en 37 posts
Registro en: Apr 2009
BlogSpot
Mensaje: #1
TPS - ¿Demostración?
Bueno,lo pongo aca porque no se donde mas meterlo.El tema es así.El primer dia en clase de algoritmos,como a muchos de ustedes,me escribieron el pizarron el teorema de programción estructurada que dice,en resumidas cuentas que con un while,un for ,un repeat,un if y un case y estructuras secuenciales se puede resolver cualquier problema.Ahora bien,mi consulta es la siguiente.Dado que esto ostenta la ominosa categoría de 'teorema' logicamente tiene que tener alguna demostracion no? ¿Es asi? Esta demostrado formalmente? Y si es asi ¿Alguien puede explicarme la demostración o es demasiado avanzada? Desde ya gracias.

Cita:Absolve me, save my reign
Have you forgotten me?
30-06-2009 00:55
Encuentra todos sus mensajes Cita este mensaje en tu respuesta
LeaTex Sin conexión
Presidente del CEIT
.
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.848
Agradecimientos dados: 56
Agradecimientos: 264 en 55 posts
Registro en: Apr 2008
BlogSpot Facebook Google+ Last.fm LinkedIn Twitter
YouTube
Mensaje: #2
Re: TPS - ¿Demostración?
no existe tal teorema, es puro chamuyo.
dicho sea de paso, while, for, y repeat son la misma cosa, expresadas de otra manera. lo mismo pasa con el if y el case.
lo que reduce el famoso 'teorema' a solamente un for y un if.

30-06-2009 02:02
Visita su sitio web Encuentra todos sus mensajes Cita este mensaje en tu respuesta
Desert69 Sin conexión
Presidente del CEIT
Sin estado :( / "Anarquia...
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.477
Agradecimientos dados: 230
Agradecimientos: 345 en 206 posts
Registro en: Jun 2008
Mensaje: #3
Re: TPS - ¿Demostración?
claro... la idea es que con asignar, iterar y decidir resolves todo...


y para mi que deriva de los fundamentos de la programacion secuencial, en la que lo unico que podes hacer es asignar, comparar y hacer saltos de lineas (para armar asi un ciclo)...

[Imagen: a2.php]
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
30-06-2009 09:56
Visita su sitio web Encuentra todos sus mensajes Cita este mensaje en tu respuesta
ggabo15 Sin conexión
Secretario de la SAE
Sin estado :(
******

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 456
Agradecimientos dados: 0
Agradecimientos: 0 en 0 posts
Registro en: Jun 2008
Mensaje: #4
Re: TPS - ¿Demostración?
Cita:no existe tal teorema, es puro chamuyo

Totalmente equivocado...

http://es.wikipedia.org/wiki/Teorema_de ... tructurado

espero que te sirva.

Saludos
30-06-2009 13:36
Encuentra todos sus mensajes Cita este mensaje en tu respuesta
Jarry Sin conexión
Anomalía de Belady
I know teh codez
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.007
Agradecimientos dados: 188
Agradecimientos: 259 en 98 posts
Registro en: May 2008
Mensaje: #5
Re: TPS - ¿Demostración?
me extraña de usted señor leatex, un entendido de las teorias de programacion que no sepa que todos los paradigmas de programacion(por lo menos los serios) estan basados en teoria matematica y logica pura. y tecnicamente un for es un caso de while, y no al reves.
saludos

No estoy necesariamente de acuerdo con lo que dice en el post de arriba
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
30-06-2009 14:54
Visita su sitio web Encuentra todos sus mensajes Cita este mensaje en tu respuesta
Jarry Sin conexión
Anomalía de Belady
I know teh codez
**********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 2.007
Agradecimientos dados: 188
Agradecimientos: 259 en 98 posts
Registro en: May 2008
Mensaje: #6
Re: TPS - ¿Demostración?
me extraña de usted señor leatex, un entendido de las teorias de programacion que no sepa que todos los paradigmas de programacion(por lo menos los serios) estan basados en teoria matematica y logica pura. y tecnicamente un for es un caso de while, y no al reves.
saludos

No estoy necesariamente de acuerdo con lo que dice en el post de arriba
[Imagen: 971aa6599664453c05cb3e42d58bbc0eo.jpg]
30-06-2009 14:55
Visita su sitio web Encuentra todos sus mensajes Cita este mensaje en tu respuesta
LeaTex Sin conexión
Presidente del CEIT
.
********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.848
Agradecimientos dados: 56
Agradecimientos: 264 en 55 posts
Registro en: Apr 2008
BlogSpot Facebook Google+ Last.fm LinkedIn Twitter
YouTube
Mensaje: #7
Re: TPS - ¿Demostración?
ggabo15 escribió:
Cita:no existe tal teorema, es puro chamuyo

Totalmente equivocado...

http://es.wikipedia.org/wiki/Teorema_de ... tructurado

espero que te sirva.

Saludos

a lo mejor me expresé mal. fijat que más abajo puse
LeaTex escribió:lo que reduce el famoso 'teorema' a solamente un for y un if.

me refería a que esto es una teoría más que un teorema (aunque todo teorema es una teoría), con el significado de teorema que todos conocemos.

30-06-2009 14:56
Visita su sitio web Encuentra todos sus mensajes Cita este mensaje en tu respuesta
Imakuni Sin conexión
Presidente del CEIT
Boxes tastes like mush
********

Ing. en Sistemas
Facultad Regional Córdoba

Mensajes: 7.021
Agradecimientos dados: 124
Agradecimientos: 129 en 85 posts
Registro en: Jul 2008
Mensaje: #8
Re: TPS - ¿Demostración?
Por lo que yo se:

Todo problema computable puede resolverse con una maquina de Turing. (1)

La programacion estructurada puede emular una maquina de Turing.(2)

Luego, por transitividad, la programacion estructurada puede resolver cualquier problema computable. (3)

(1) no es un teorema, sino que es una definicion. Un problema computable lo es sii es resoluble por una M.T. Una maquina de turing es la representacion formal de una maquina que ejecuta un algoritmo.

(3) podria ser un teorema (El teorema de teseracto? :P), solo tendria que desarrollar un algoritmo que emule a la perfeccion una M.T., asumiendo que se posee memoria infinita (seguro que en la nube ya existe). Pero estoy totalmente seguro de que ya existe una explicacion mejor que esta.

Y rulo, el profe te mintio. La programacion estructurada (osea, una M.T.) no puede resolver todos los problemas. Hay algunos denominados "Problemas indecidibles", como el teorema de la parada, que creo que ahora se ve en Sintaxis.

Resumiendo: Es un teorema, demostrable matematicamente (ya que una MT es un modelo matematico).
30-06-2009 19:28
Encuentra todos sus mensajes Cita este mensaje en tu respuesta
rulo Sin conexión
Ultra Nerd Mod
By demons driven!
*********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.333
Agradecimientos dados: 51
Agradecimientos: 67 en 37 posts
Registro en: Apr 2009
BlogSpot
Mensaje: #9
Re: TPS - ¿Demostración?
Teseracto escribió:Por lo que yo se:

Todo problema computable puede resolverse con una maquina de Turing. (1)

La programacion estructurada puede emular una maquina de Turing.(2)

Luego, por transitividad, la programacion estructurada puede resolver cualquier problema computable. (3)

(1) no es un teorema, sino que es una definicion. Un problema computable lo es sii es resoluble por una M.T. Una maquina de turing es la representacion formal de una maquina que ejecuta un algoritmo.

(3) podria ser un teorema (El teorema de teseracto? :P), solo tendria que desarrollar un algoritmo que emule a la perfeccion una M.T., asumiendo que se posee memoria infinita (seguro que en la nube ya existe). Pero estoy totalmente seguro de que ya existe una explicacion mejor que esta.

Y rulo, el profe te mintio. La programacion estructurada (osea, una M.T.) no puede resolver todos los problemas. Hay algunos denominados "Problemas indecidibles", como el teorema de la parada, que creo que ahora se ve en Sintaxis.

Resumiendo: Es un teorema, demostrable matematicamente (ya que una MT es un modelo matematico).

+3 1416 es justo lo que estaba buscando che.
Igual lo que me escribieron el pizarron es que bohm (o bohr o como se escriba) y jacopini demostraron (o dijeron no recuerdo la palabra que uso y además perdi el primer cuaderno que es donde lo tengo escrito) que todo problema se resuelve con esas estructuras (obviamente se referiria a todo problema computable o problema estructurado pero bueh).
Gracias por sacarme la duda.

Cita:Absolve me, save my reign
Have you forgotten me?
30-06-2009 20:03
Encuentra todos sus mensajes Cita este mensaje en tu respuesta
Buscar en el tema
Enviar respuesta 




Usuario(s) navegando en este tema: 1 invitado(s)