En Clase
- Racional -------> Pensar, Juzgar.
- Pensar ---------> Esquema, Resolver el Problema.
- Grado Razón -> Satisfacción (Sin Satisfacción no hay razón "o" no tiene la razón)
- Lógica = Es la forma en que actúa.
"Logia: Es la ciencia que nos enseña a razonar con exactitud"
________________________________________________________________________
Razón con Ingenio
- El hombre es un ser racional.
- La razón es la facultad de pensar y juzgar, que distingue al nombre de los animales.
- La razón dicta si la lógica aplicada puede ser o no, aceptada.
Definición:
- Una serie de instrucciones o limites creados para permitir el control de un proceso (pasos).
- Por ejemplo:
La lógica puede ser programada a través de alambrado físico (relevador) o bien a través de una pc (PLC).
- Secuencia de operaciones, realizadas por el Hardware o por el Software.
- Logica de Hardware son los circuitos y chips que realizan las operaciones - de control de la Computadora.
- La Lógica del Software o lógica del programa, es la secuencia de instrucciones del programa.
¿De que trata la lógica?
- Trata de establecer esquemas racionales de acción a través de:
- Razonamiento
- Por medio del pensamiento
- Argumentación
- Por Medio de un lenguaje formal
La Pc (computadora) - No ara lo que queremos, sino lo que le digamos.
- Inferencia (deducir algo, percibir).
- Por medio de una ética, percibir y actuar.
Tipos De Lógica
Pueden ser: - Binario (l ó 0)
- Difusa (l ~ 0) "Lógica Difusa. Es un estado Intermedio"
- Cuantica (-e)
________________________________________________________________________
Sistemas Lógicos
- Un sistema lógico es una forma de realizar un proceso, normado por principios de pensamientos que se consideran racionales.
- La Validez de la inferencia realizada es determinada por el grado de satisfacción que produzca dichos resultados.
Sistemas Conocidos:
Logica
|
aristotelica
|
Logica
|
Matematica
|
Logica
|
de primera orden
|
Logica
|
de segunda orden
|
Logica
|
intuicionista: fisica experimental
|
Logica
|
temporal
|
Logica
|
modal
|
Logica
|
no monotomica
|
Logica
|
formal
|
Logica
|
polivalente
|
Logica
|
proposicional
|
Logica
|
booleana
|
Logica
|
descriptiva
|
Empirismo
|
Logico
|
Sistemas Lógicos de la Ingeniería
- SLP: Sistema lógico proposicional
- SLPO: Sistema lógico de primer orden.
- SLB: Sistema lógico booleano.
- SLCB: sistema lógico combinacional (compuertas).
- SLS: Sistema logico Secuencial (Flip - Flop)
- SLD: Sistema Lógico Difuso.
- SLC: Sistema Lógico Cuántico.
Lenguaje Formal
- Un lenguaje formal es un lenguaje artificial conformado por:
- Cadenas de caracteres (tokens)
- Un alfabeto (Σ y Σ*)
- Una gramática (G(L))
- Un lenguaje formal es un lenguaje estandarizado cuyas reglas de escritura buscan eliminar cualquier ambigüedad.
- Por sus naturaleza formal un lenguaje artificial se basa en tres elementos:
- Sintaxis (Orden)
- Lexico (Definicion)
- Semantica (comprensible)
________________________________________________________________________
Lógica: Razonar con Ingenio
Sintaxis
- Define el orden de las palabras.
- Estudia la correcta relación de las personas.
- Busca eliminar la ambigüedad de las palabras.
Léxico
- Diccionario
- Un analizador léxico es un lenguaje de programación, es un elemento de análisis que verifica la existencia y validez de las palabras utilizadas dentro de una sentencia (librerías string o tokenizer en java...)
Semántica
- Se encarga de establecer el significado de las palabras.
- En un lenguaje de programación al momento de compilar se determina la semántica de las instrucciones escritas.
Entorno de Programación de Java
________________________________________________________________________
Lógica de Proposiciones
- Los enunciados o proposiciones, son oraciones declarativas que son verdaderas o falsas (pero no ambas).
- Por Ejemplo:
- p: La lógica es un curso obligatorio para el primer semestre de ingeniería en sistemas.
- q: Miguel Ángel Asturias escribió hombres de maíz
- r: 2+3=5
- Las proposiciones anteriores se consideran proposiciones primitivas. Ya que no hay forma de descomponerlas en formas mas sencillas.
- Es posible obtener nuevas proposiciones a partir de otras existentes por medio de:
- La negación de la proposición.
- La combinación de las proposiciones por medio de conectivos.
Entre los conectivos tenemos:
- Conjunción (Y)
- Disyunción (O)
- Implicación (Si.. Entonces)
- Bicondicional (Si y Solo Si)
Tautología es un término que hace referencia a la repetición de un mismo pensamiento a través de distintas expresiones.Es una afirmación redundante.
________________________________________________________________________
La tabla de verdad para la función XOR se muestra en la tabla 10 . un cuidadoso examen muestra que esta tabla de verdad es similar a la tabla de verdad OR, excepto que cuando ambas entradas son 1 la puerta XOR genera un 0.
XOR | |||
0
1
1
|
1
0
1
|
1
1
1
|
1
1
0
|
Las leyes de De Morgan:
o viceversa
No hay comentarios:
Publicar un comentario