A la hora de programar o pensar una resolución de un problema existe un paso que es fundamental. Esta paso se hace siempre aunque no siempre de manera consciente.
Esto, visto desde el punto de vista de una máquina no parecería ser la grán cosa ya que lo ignoramos por completo, pero computacionalmente se hace más evidente.
Pero llegando a este punto es normal preguntarse de qué estamos hablando. Modelizar consiste simplemente en hacer una representación de los elementos del mundo real que necesitamos para trabajar. Por ejemplo para representar las posiciones de un robot dentro de una habitación podemos considerar su posición en un plano bidimensional donde el origen de coordenadas se ubica en la posición inicial. El objetivo de programa podría ser recorrer toda la habitación recorriendo la mayor área posible.
Existen muchos ejemplos de modelización y una de sus características principales es que generalmente suelen ser abstracciones. Esto es eliminan detalles que agregan una complejidad innecesaria.
La idea de un buen modelo es abstraer lo suficiente para no considerar casos inútiles ni almacenar información innecesaria, a la vez que se preservan los datos fundamentales que permitan resolver el problema.
Aquí es donde entra en juego muchas veces la lógica. Existen distintos tipos de lógicas. Entre ellas podemos mencionar la lógica proposicional, la lógica de predicados, la lógica de primer orden, entre otras. La lógica suele ser utilizada para representar diversos modelos. Con esto tenemos la ventaja de emplear un formalismo sobre el cual es posible hacer diversos tipos de demostraciones, otra razón para darle importancia a ese campo.
Y con esto damos comienzo al podcast, no sin antes, recordarle que pueden sugerir algún tema a cubrir en script time, code time o incluso en el canal de youtube del proyecto...
**********************************
App de iOS: https://itunes.apple.com/us/app/code-time/id1435749618

**********************************

Para Contribuir
PAYPAL : davidgiordana@hotmail.com.ar
PATREON: https://www.patreon.com/codetime

**********************************

Curso completo de desarrollo en Swift 4 desde cero
https://www.udemy.com/curso-completo-de-swift-4-desde-cero/?couponCode=YOUTUBE_1

Curso de desarrollo de aplicaciones para iOS 11 desde cero
https://www.udemy.com/desarrollo-de-aplicaciones-para-ios-11-desde-cero/?couponCode=YOUTUBE_1

**********************************
Medios de contacto:
Twitter / Telegram: @DavidGiordana
Correo Electrónico: davidgiordana0@gmail.com
Grupo en Telegram: https://t.me/joinchat/C-YEzBGu5Jh-mu8ejM2toA

**********************************

Medios de Contacto

CANAL DE TELEGRAM: https://telegram.me/Code_Time
PODCAST: https://goo.gl/QUximq
ITUNES: https://goo.gl/XmDjX2

**********************************
Canciones Utilizadas

OP:
A Himitsu - Adventures: youtu.be/8BXNwnxaVQE

ED:
See You Tomorrow by GoSoundtrack http://www.gosoundtrack.com/
Music provided by Audio Library https://youtu.be/idlqqMHd0W4