Pensamiento matemático licenciatura: Biología




descargar 214.42 Kb.
títuloPensamiento matemático licenciatura: Biología
página1/4
fecha de publicación06.02.2016
tamaño214.42 Kb.
tipoDocumentos
b.se-todo.com > Biología > Documentos
  1   2   3   4







UNIVERDIDAD JUÁREZ AUTÓNOMA DE TABASCO

DIVISIÓN ACADÉMICA DE CIENCIAS BIOLÓGICAS

























PENSAMIENTO MATEMÁTICO

LICENCIATURA:
Biología

TEMA:

UNIDAD: ELEMENTOS DE LOGICA

TRABAJO QUE PRESENTA:

Verónica Rodríguez montejo

Lic; Filemón Baeza Vidal

VILLAHERMOSA, TABASC0, MÉXICO

15 DE FEBREO DE 2010

INDICE

UNIDAD 1 PENSAMIENTO MATEMATICO

Introducción………………………………………………………………………………3

    1. Elementos que componen un lenguaje formal………………………………………3 1.1.2Ejemplos de lenguajes formales ………………………………………………..4

1.1.3Especificación de lenguajes formales……………………………………………4

1.2 Símbolo,……………………………………………………………………………….. …………………………………………..4

1.2.1 Definición …………………………………………………………………………………………………………. …4

1.2.2 axioma……………………………………………………………………………………………………………….., 5

1.2.3proposición……………………………………………………………………..,7

1.2.4 teorema……………………………………………………………………….12

1.2.5corolario………………………………………………………………………13

1.3 El lenguaje matemático……………………………………………………………… 13

1.4Negacion de proposición………………………………………………………………15

1.5 Cuantificadores…………………………………………………………………………………………………………….. 15

1.5.1 Para todo

1.5.2 Existe

1.6 Conectivos lógicos entre proposiciones……………………………………………………………………………..15

1.6.1 Disyunción………………………………………………………………………………………………………..19

1.6.2 Conjunción………………………………………………………………………………………………………18

1.6.3 Implicación………………………………………………………………21

1.6.4 Equivalencia………………………………………………………………26

Conclusión ………………………………………………………………………………26

INTRODUCCION

Esta unidad está diseñada para expresar, aprender usos y definiciones para lo cual se aplicaran en las tablas de verdad, y proposiciones entre otras cosas.

1.1Lenguaje formal

En matemáticas, lógica, y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos primitivos y reglas para unir esos símbolos están formalmente especificados.[1] Al conjunto de los símbolos primitivos se lo llama el alfabeto (o vocabulario) del lenguaje, y al conjunto de las reglas se lo llama la gramática formal (o sintaxis). A una cadena de símbolos formada de acuerdo a la gramática se la llama una fórmula bien formada (o palabra) del lenguaje. Estrictamente hablando, un lenguaje formal es idéntico al conjunto de todas sus fórmulas bien formadas. A diferencia de lo que ocurre con el alfabeto (que debe ser un conjunto finito) y con cada fórmula bien formada (que debe tener una longitud también finita), un lenguaje formal puede estar compuesto por un número infinito de fórmulas bien formadas.

Por ejemplo, un alfabeto podría ser el conjunto {a,b}, y una gramática podría definir a las fórmulas bien formadas como aquellas que tienen el mismo número de símbolos a que b. Entonces, algunas fórmulas bien formadas del lenguaje serían: ab, ba, abab, ababba, etc.; y el lenguaje formal sería el conjunto de todas esas fórmulas bien formadas.

Para algunos lenguajes formales existe una semántica formal que puede interpretar y dar significado a las fórmulas bien formadas del lenguaje. Sin embargo, una semántica formal no es condición necesaria para definir un lenguaje formal, y eso es una diferencia esencial con los lenguajes naturales.

En algunos lenguajes formales, la palabra vacía (esto es, la cadena de símbolos de longitud cero) está permitida, notándose frecuentemente mediante, o .



1.1.2Ejemplos de lenguajes formales

  • Un conjunto de todas las palabras sobre.

  • El conjunto es un número primo.

  • El conjunto de todos los programas sintácticamente válidos en un determinado lenguaje de programación.

  • El conjunto de todas las fórmulas bien formadas en la lógica de primer orden.

1.1.3Especificación de lenguajes formales

Los lenguajes formales se pueden especificar de una amplia variedad de formas, como por ejemplo:

1.2.Símbolo

Un símbolo es la representación perceptible de una idea, con rasgos asociados por una convención socialmente aceptada. Es un signo sin semejanza ni contigüidad, que solamente posee un vínculo convencional entre su significante y su denotado, además de una clase intencional para su designado. El vínculo convencional nos permite distinguir al símbolo del icono como del índice y el carácter de intención para distinguirlo del nombre. Los símbolos son pictografías con significado propio. Muchos grupos tienen símbolos que los representan; existen símbolos referentes a diversas asociaciones culturales: artísticas, religiosas, políticas, comerciales, deportivas, etc.
  1   2   3   4

similar:

Pensamiento matemático licenciatura: Biología iconLicenciatura en biologia y quimica

Pensamiento matemático licenciatura: Biología iconLicenciatura en educación secundaria con especialidad en biologia

Pensamiento matemático licenciatura: Biología iconPrograma diplomado: Metodologías innovadoras para el desarrollo de...

Pensamiento matemático licenciatura: Biología iconRazonamiento lógico matemático

Pensamiento matemático licenciatura: Biología iconProblemas variados de razonamiento matemático

Pensamiento matemático licenciatura: Biología iconContribuciones al pensamiento

Pensamiento matemático licenciatura: Biología iconLenguaje y pensamiento

Pensamiento matemático licenciatura: Biología icon¿QUÉ es el pensamiento lateral?

Pensamiento matemático licenciatura: Biología iconPensamiento, diálogo y accióN”

Pensamiento matemático licenciatura: Biología iconIntroducción al Pensamiento Científico




Todos los derechos reservados. Copyright © 2019
contactos
b.se-todo.com