martes, 6 de marzo de 2012

En Clase


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:
  1. Conjunción (Y)
  2. Disyunción (O)
  3. Implicación (Si.. Entonces)
  4. Bicondicional (Si y Solo Si)
  • La verdad o falsedad de una proposición compuesta solo depende de los valores de verdad de sus componentes.
  • Sin embargo, pueden resumirse por medio de tablas de verdad.
  • A continuación la representación de los conectivos lógicos anteriormente mencionados.

_________________________________________________________________________________




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.


   \begin{array}{|c|c||c|}
      \hline
      A & \neg A & A \or \neg A  \\
      \hline
      V & F & V \\
      F & V & V \\
      \hline
   \end{array}


________________________________________________________________________


OR EXCLUSIVA ó XOR

La OR - exclusiva se denomina la puerta de << algunos pero no todos >>

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. 


A
B
OR
XOR
0
0
1
1
0
1
0
1
0
1
1
1
0
1
1
0

                                                                       Circuito eléctrico equivalente de una compuerta XOR


Las leyes de De Morgan:
\lnot(A \cup B) \Leftrightarrow (\lnot A) \cap (\lnot B)         o viceversa      \lnot(A \cap B) \Leftrightarrow (\lnot A) \cup (\lnot B)















No hay comentarios:

Publicar un comentario