LOGICA MATEMATICA

La lógica matemática es una parte de la lógica y las matemáticas que consiste en

el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas
de las matemáticas. La lógica matemática tiene estrechas conexiones con
las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el
que codifican o definen nociones intuitivas de objetos matemáticos
como conjuntos, números, demostraciones y algoritmos, utilizando un lenguaje
formal.
La lógica matemática suele dividirse en cuatro subcampos: teoría de
modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La
investigación en lógica matemática ha jugado un papel fundamental en el estudio
de los fundamentos de las matemáticas. Actualmente se usan indiferentemente
como sinónimos las expresiones: lógica simbólica (o logística), lógica matemática,
lógica teorética y lógica formal.1
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de
la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y
estudiadas matemáticamente.

Lógica programática

base sobre la cual se sustenta la programación en si. es una serie de ideas coherentes y
razonamiento. ciencia que estudia la estructura, fundamentos y uso de las expresiones
del conocimiento humano

Base sobre la cual se sustenta la programación en si.

 Todo persona que pretenda construir un programa que de solución a determinada
problemática, se enfrenta a dos grandes tareas:
 El QUÉ: acciones a realizar para poder resolver el problema. Esta tarea forma parte
del trabajo de mesa previo a toda actividad de programación.
 El CÓMO: instrucciones de las que se va a valer para escribir el código que realice las
acciones determinadas en el QUÉ, las cuales están determinadas por el lenguaje de
programación seleccionado.
Muchas personas confunden la Programación con la Lógica de Programación, la primera
involucra el conocimiento de técnicas e instrucciones de un determinado Lenguaje a
través de los cuales se hace sencillo lograr que la Computadora obtenga unos resultados
mucho más rápidos que una persona. La segunda involucra, de una manera técnica y
organizada, los conceptos que permiten diseñar en términos generales, la solución
a problemas que pueden llegar a ser implementados a través de una computadora.

Psicolingüística
Tal vez los usuarios normales de la lengua (entendiendo por “normales” aquellos
que no se dedican a ella profesionalmente) piensen que la lingüística, es decir,
aquella disciplina que la estudia en tanto realización de la capacidad innata del
lenguaje, solo tiene las tres partes en que se la suele dividir, dejando de lado la
literatura: gramática, vocabulario y lectoescritura.
Pero nada está más lejos de la realidad. A la morfología y la sintaxis se les puede
añadir, efectivamente, el léxico o vocabulario y la fonética y fonología… Pero
también otras muchas subdisciplinas como la gramática del texto, la lingüística
computacional, la lingüística histórica, la pragmática, la semántica, la
sociolingüística o la psicolingüística. En el presente artículo vamos a ocuparnos
brevemente de esta última.
La psicolingüística podría definirse como la ciencia que se encarga de estudiar la
manera en que comprendemos, producimos, adquirimos y perdemos el lenguaje.
Se trata de una disciplina que se encuentra entre la psicología y la lingüística,
pero supera a ambas puesto que no se limita a la suma de sus partes.