La Lógica proposicional es un sistema lógico que busca formalizar la noción de la proposición, y como un conjunto de proposiciones puede ser creado mediante la combinación de propuestas para generar un resultado coherente que se puede aplicar para determinar si este conjunto es verdadero o falso. Es esencial para aprender los conceptos básicos de la lógica proposicional, ya que se basa en esta lógica lenguajes de programación estructurados para tratar de abstraer las decisiones que se toman en el mundo real.
Cada vez que escribimos código en un lenguaje de programación, no podemos escribir "lo que queramos". La información escrita debe ser organizada con el fin de "ordenar" a la computadora lo que tiene que hacer. Por lo tanto, para escribir un programa informático, escribimos los algoritmos que indican a la computadora lo que tiene que hacer de acuerdo a las reglas establecidas por las reglas del lenguaje de programación. Pero a pesar de que los lenguajes varían, los algoritmos son esencialmente los mismos.
La ingeniería de Software designa el conjunto de estudios, mecanismos y técnicas que tienen como objetivo producir software computacional de forma metódica y disciplinada. Diferenciándose, así, de la programación común por el foco exigente de la calidad del producto final y de la sistematización de los procesos que llevan a la generación y al mantenimiento de un software de calidad. De esta forma, un Ingeniero de Software es un profesional con la capacidad de comprender el problema que tiene que ser resuelto por un software y, utilizando recursos de ingeniería, determinar el mejor método de desarrollo de un software específico.
Cada vez que escribimos código en un lenguaje de programación, no podemos escribir "lo que queramos". La información escrita debe ser organizada con el fin de "ordenar" a la computadora lo que tiene que hacer. Por lo tanto, para escribir un programa informático, escribimos los algoritmos que indican a la computadora lo que tiene que hacer de acuerdo a las reglas establecidas por las reglas del lenguaje de programación. Pero a pesar de que los lenguajes varían, los algoritmos son esencialmente los mismos.
La ingeniería de Software designa el conjunto de estudios, mecanismos y técnicas que tienen como objetivo producir software computacional de forma metódica y disciplinada. Diferenciándose, así, de la programación común por el foco exigente de la calidad del producto final y de la sistematización de los procesos que llevan a la generación y al mantenimiento de un software de calidad. De esta forma, un Ingeniero de Software es un profesional con la capacidad de comprender el problema que tiene que ser resuelto por un software y, utilizando recursos de ingeniería, determinar el mejor método de desarrollo de un software específico.
