Mathematics">
Nothing Special   »   [go: up one dir, main page]

Logica Matematica

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 5

Instituto Tecnológico Superior de Loreto

Ingeniería en Sistemas Computacionales


Especialidad Desarrollo de Aplicaciones Móviles y
Servicios en la Web

1° B
Matemáticas discretas
Tema III

Trabajo a realizar
Reporte practica 5
3.5 Aplicaciones de la lógica matemática en la computación

Equipo #3
Efraín Castañeda Flores número de control 21060051
Javier De Jesús Guzmán Vázquez núm. de control 21060041
Ricardo Santos Arenas número de control 21060025
Introducción
En este reporte aprenderemos sobre el tema “Aplicación de la lógica
matemática en la computación” esto consiste en el estudio matemático de la
lógica, y en la aplicación del mismo a otras áreas de la ciencia y la matemática.
Dicho en pocas palabras La lógica matemática tiene conexiones con las
ciencias de la computación

¿Qué son las aplicaciones de la lógica matemática en


la computación?
La lógica computacional es la misma lógica matemática aplicada al contexto
de las ciencias de la computación. Su uso es fundamental a varios niveles: en
los circuitos computacionales, en la programación lógica y en el análisis y
optimización (de recursos temporales y espaciales) de algoritmos.

Ejemplos de aplicaciones de la lógica matemática

Algoritmos
En matemáticas, ciencias de la computación y disciplinas relacionadas, un
algoritmo es un conjunto preescrito de instrucciones o reglas bien definidas,
ordenadas y finitas que permite realizar una actividad mediante pasos
sucesivos que no generen dudas a quien deba realizar dicha actividad.

Dados un estado inicial y una entrada, siguen dolos pasos sucesivos se llega a
un estado final y se obtiene una solución. Los algoritmos son el objeto de
estudio de la algoritmia.
El pseudocódigo
Es una herramienta algorítmica que permite escribir pseudoprogramas (una
imitación de un programa real) utilizando un lenguaje de
pseudoprogramación que es una imitación de los lenguajes de programación
de alto nivel. Así, un pseudocódigo es una combinación de símbolos (+, -, *, /,
%, >, >=, <, <=, !=, ==, y, o, no), términos (Leer, Imprimir, Abrir, Cerrar,
Hacer…Mientras, Mientras…Hacer, Para…Mientras, etc.)Y otras características
comúnmente utilizadas en uno o más lenguajes de alto nivel.

Programación lógica
La programación lógica consiste en la aplicación del corpus de conocimiento
sobre lógica para el diseño de lenguajes de programación; La programación
lógica es un tipo de paradigmas de programación dentro del paradigma de
programación declarativa. El resto de los subparadigmas de programación
dentro de la programación declarativa son: programación funcional,
programación basada en restricciones, programas DSL (de dominio específico)
e híbridos. La programación lógica gira en torno al concepto de predicado, o
relación entre elementos.

La programación funcional se basa en el concepto de función (que no es más


que una evolución de los predicados), de corte más matemático.

La programación lógica encuentra su hábitat natural en


aplicaciones de inteligencia artificial o relacionada:
•Sistemas expertos, donde un sistema de información imita las
recomendaciones de un experto sobre algún dominio de conocimiento.

•Demostración automática de teoremas, donde un programa genera nuevos


teoremas sobre una teoría existente.

•Reconocimiento de lenguaje natural, donde un programa es capaz de


comprender (con limitaciones) la información contenida en una expresión
lingüística humana.
La programación lógica también se utiliza en aplicaciones más «mundanas»
pero de manera muy limitada, ya que la programación tradicional es más
adecuada a tareas de propósito general.

Circuitos computacionales
El nivel menos abstracto dentro de una computadora está constituido por
circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo
los patrones de la lógica booleana; esto es, compuertas lógicas que devuelven
un valor dependiendo de las entradas que se le dan al sistema. Existen ocho
compuertas lógicas básicas con las cuales se pueden formar sistemas muy
complejos: AND, OR, Inverter, Buffer, NAND, NOR, XOR y XNOR. Todas ellas
son representadas mediante un símbolo y una tabla de valores de verdad, que
es simplemente un cuadro donde se ubican todas las posibles entradas y los
valores que devolvería la compuerta dados dichos valores. Todo sistema
computacional, por muy complejo que sea, no está compuesto por más que
circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica
computacional se encarga de modelar y optimizar tales sistemas a este nivel.

Conclusión
Para concluir sabemos que la lógica de la matemática en la computación es
fundamental para una programación lógica y en los circuitos computacionales,
a su vez, en el análisis y optimización de los algoritmos. Es importante
mencionar que sin está no podríamos disfrutar de las maravillas que nos
brindan la tecnología puesta a nuestra disposición, permitiendo la invención
de dispositivos como teléfonos celulares, calculadoras, computadoras etc.
Teniendo la capacidad de digitalizar información permitiéndonos realizar
trabajos de formas más sencillas.
Bibliografía

https://prezi.com/p2fw2j4y9ioe/aplicacion-de-la-logica-matematica-en-la-
computacion/

https://matedisunidad3.wordpress.com/category/3-5-aplicacion-de-la-logica-
matematica-en-la-computacion/

También podría gustarte