Lógica simbólica en ingeniería

Solo disponible en BuenasTareas
  • Páginas : 2 (340 palabras )
  • Descarga(s) : 0
  • Publicado : 12 de septiembre de 2010
Leer documento completo
Vista previa del texto
LOGICA MATEMATICA

INDICE

INTRODUCCION - 1 -

OBJETIVOS GENERAL Y ESPECIFICOS - 2 -

OBJETIVO GENERAL. - 2 -

OBJETIVOS ESPECIFICOS. - 2 -

LIMITACIONES. - 3 -

ALCANCES. - 3 -LOGICA SIMBOLICA - 4 -

1. HISTORIA - 4 -

2. LA LÓGICA - 7 -

3. LÓGICA SIMBÓLICA - 8 -

4. LÓGICA E INFORMÁTICA - 9 -

5. LÓGICA PROPOSICIONAL - 11 -

5.1. Expresión, oración yenunciado - 11 -

5.2. Argumento o razonamiento - 12 -

5.3. Forma de los argumentos - 12 -

5.4. La lógica formal - 12 -

5.5. Verdad y validez - 12 -

6. LENGUAJE NATURAL Y LENGUAJEARTIFICIAL - 13 -

6.1. El lenguaje formal - 14 -

6.2. Categorías de un lenguaje formal - 14 -

6.3. Lenguajes de programación - 15 -

6.4. El lenguaje BASIC - 16 -

7. PERSPECTIVASACTUALES EN LA LÓGICA SIMBÓLICA - 17 -

7.1. Clasificación de la Lógica Formal - 18 -

8. TABLA DE SÍMBOLOS FORMALES - 19 -

8.1. Símbolos lógicos - 19 -

8.2. Símbolos no lógicos - 20 -8.3. Símbolos auxiliares - 20 -

9. REGLAS DE FORMACIÓN DE FÓRMULAS - 20 -

10. TIPOS DE DEDUCCIÓN - 21 -

10.1. Tipos de supuestos en la deducción - 21 -

11. REGLAS BÁSICAS DE CÁLCULO -22 -

12. TABLAS DE VERDAD - 22 -

13. LA SIMBOLIZACIÓN - 24 -

CONCLUSIONES - 26 -

RECOMENDACIONES. - 27 -

BIBLIOGRAFIA - 28 -

GLOSARIO - 29 -

ANEXOS - 30 -

INTRODUCCION

Elsiguiente trabajo nos da a conocer la importancia que tiene la lógica y su utilidad para aplicarla en el campo de la ingeniería informática. También se habla de Aristóteles que fue el fundador de lalógica formal que fue estudiada en el siglo XIX, para aplicarla en el campo de la matemática y en las ciencias computacionales naciendo así la lógica simbólica la cual trata de esquematizar lospensamientos de forma clara y sin ambigüedades. En donde se usa un lenguaje formalizado, constituido como calculo. Lo cual que hoy en día se considera como ciencia lógica matemática, cuya expresión más...
tracking img