Donar $20 Donar $50 Donar $100 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
Another green world
*********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.271
Agradecimientos dados: 48
Agradecimientos: 56 en 33 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:"...you can't kill a vegetable by shooting it through the head."
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.852
Agradecimientos dados: 55
Agradecimientos: 195 en 50 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.273
Agradecimientos dados: 149
Agradecimientos: 246 en 158 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: 462
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: 1.944
Agradecimientos dados: 177
Agradecimientos: 183 en 82 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: 1.944
Agradecimientos dados: 177
Agradecimientos: 183 en 82 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.852
Agradecimientos dados: 55
Agradecimientos: 195 en 50 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
Did you know that cashews come...
********

Ing. en Sistemas
Facultad Regional Córdoba

Mensajes: 6.967
Agradecimientos dados: 112
Agradecimientos: 119 en 77 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
Another green world
*********

Ing. en Sistemas
Facultad Regional Buenos Aires

Mensajes: 4.271
Agradecimientos dados: 48
Agradecimientos: 56 en 33 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:"...you can't kill a vegetable by shooting it through the head."
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)



    This forum uses Lukasz Tkacz MyBB addons.