BROADCASTS.com

Es bien sabido que la programaci\xf3n y el desarrollo de software es parte de la ciencia de la computaci\xf3n. Adem\xe1s se puede asegurar que una buena parte de estas disciplinas est\xe1 basado en la matem\xe1tica y la l\xf3gica. Si juntamos todas estas cosas llegamos finalmente a los m\xe9todos formales, tema que normalmente suele ser ignorado.\n\xbfCual es la raz\xf3n por la que no se le da importancia? Muchas veces esto se debe a una mala formaci\xf3n o al deseo de un progreso acelerado. A\xfan as\xed su utilidad es innegable. Los m\xe9todos formales, entre otras cosas, para demostrar ciertas propiedades que debe cumplir un programa o implementaci\xf3n. Tienen como objetivo establecer una base bien formada sobre la cual se pueden sacar conclusiones sin ambig\xfcedades.\nUno de los usos comunes es a la hora de establecer propiedades que debe cumplir una estructura o programa a lo largo de su vida \xfatil. A esto se lo suele llamar invariante. Si, por ejemplo, tenemos una lista de la cual queremos eliminar el primer elemento es l\xf3gico pedir que antes de realizar la operaci\xf3n la lista tenga al menos un elemento y luego de aplicarla tenga un elemento menos que antes, adem\xe1s del hecho de que el elemento faltante sea realmente el primero. Esto que a priori podr\xeda parecer trivial forma parte del invariante de la operaci\xf3n.\nDe esta manera podr\xedamos llevar esto a escalas que un ser humano no puede manejar mentalmente. Si consideramos que no podemos retenerlo menos podemos garantizar que algo alguna propiedad se cumple. As\xed pues ya podemos ver certas utilidades, que cabe destacar no son ni la punta del iceberg.\nEl objetivo de este programa es dar una muy breve introducci\xf3n al tema dejando al escucha la tarea de investigaci\xf3n. Existe mucha documentaci\xf3n al respecto. Ya sin m\xe1s damos comienzo a este nuevo episodio de Script Time, no sin antes olvidar recordarles que pueden sugerir temas que les interesen. Ahora s\xed comencemos...\n**********************************\nApp de iOS: https://itunes.apple.com/us/app/code-time/id1435749618\n\n**********************************\n\nPara Contribuir\nPAYPAL : davidgiordana@hotmail.com.ar\nPATREON: https://www.patreon.com/codetime\n\n**********************************\n\nCurso completo de desarrollo en Swift 4 desde cero\nhttps://www.udemy.com/curso-completo-de-swift-4-desde-cero/?couponCode=YOUTUBE_1\n\nCurso de desarrollo de aplicaciones para iOS 11 desde cero\nhttps://www.udemy.com/desarrollo-de-aplicaciones-para-ios-11-desde-cero/?couponCode=YOUTUBE_1\n \n**********************************\nMedios de contacto:\nTwitter / Telegram: @DavidGiordana\nCorreo Electr\xf3nico: davidgiordana0@gmail.com\nGrupo en Telegram: https://t.me/joinchat/C-YEzBGu5Jh-mu8ejM2toA\n\n**********************************\n\nMedios de Contacto\n\nCANAL DE TELEGRAM: https://telegram.me/Code_Time\nPODCAST: https://goo.gl/QUximq\nITUNES: https://goo.gl/XmDjX2\n\n**********************************\nCanciones Utilizadas\n\nOP:\nA Himitsu - Adventures: youtu.be/8BXNwnxaVQE\n\nED:\nSee You Tomorrow by GoSoundtrack http://www.gosoundtrack.com/\nMusic provided by Audio Library https://youtu.be/idlqqMHd0W4