SyM - Clase 1 Leyes y Teorias

16-02-2016
Puntos a Tratar:
1.
2.
3.
4.
5.
6.
Introduccin.
Hechos.
Relaciones.
Ley.
Teora.
Teora de Modelos.
Simulacin y Modelos Leyes y Teoras
16-02-2016
1. Introduccin
Es preciso saber que es y que no es LEY.
No es fcil saber y adoptar una nica
definicin de LEY, pues existe un gran nmero
de deficiniciones dadas por diferentes autores
y desde diversos puntos de vista.
La ms comn
de las definiciones, podemos
decir que una LEY es una relacin constante
entre distintos hechos.
2. Hechos
La cada de un Cuerpo.
La Erupcin de un volcn.
Un Rio.
Una Revolucin.
La ebullicin del Agua.
Los anteriores nos muestran lo que comnmente

se conoce como HECHOS.
En Forma General, HECHO:
es todo aquello que se sabe o se supone con
algn fundamento que pertenece a la realidad.
16-02-2016
2. Hechos
Hecho es:
CUALQUIER ACONTECIMIENTO, lo que se produce en

trminos de espacio y tiempo.
Ejemplo: Un Relmpago.
UN PROCESO, que se refiere a una secuencia

temporalmente ordenada de acontecimientos.
Ejemplo: La Electrlisis: descomposicin que experimenta un
lquido al paso de una corriente elctrica.
UN SISTEMA CONCRETO, es decir, un ser fsico

cuyas partes estn estructuradas formando una
unidad.
Ejemplo: Una Planta, Una Roca.
2. Hechos
A los hechos tambin se les llama FENOMENOS, lo
cual significa que se presentan ante un sujeto
que los percibe o capta por medio de sus
sentidos.
TODO AQUELLO QUE FORMA PARTE DE LA REALIDAD

ES UN HECHO Y CUANDO EL HECHO ES CONOCIDO POR
ALGUIEN SE LLAMA FENOMENO
16-02-2016
2. Hechos
No son hechos, Los Conceptos, Frmulas y
Razonamientos que se concluyan o deriven de
ellos, es decir las Estructuras Lgicas.
Ejemplo:
Una tarde de lluvia no solo es un

acontecimiento, sino un fenmeno donde podemos
descubrir las relaciones entre sus diversos
elementos
2. Hechos
Ejemplo:
LA
HUMEDAD
LAS NUBES
LLUVIA
16-02-2016
3. Relacin
Se entiende por RELACIN, a la conexin de una
cosa con otra o bien la accin y efecto de
referir o referirse.
Ejemplo:
Considere el conjunto de los Nmeros Naturales
y una relacin :ES MENOR QUE.
Podemos establer que, bajo la relacin R el
nmero 2 se relaciona con el 3:
2 ES MENOR QUE 3
3. Relacin
Una relacin en un conjunto A, es un
subconjunto no vacio del producto cartesiano
AxA.
Sean A y B dos cunjuntos tal que: AxB es el

conjunto de pares ordenados (x,y) tal que xA y
yB.
10
16-02-2016
3. Relacin
Ejemplo:
Sea A={1,2,3} y A=MENOR QUE, esto es: ab
si y solo si a<b. Ilustrado en un diagrama
tenemos:
A
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,3)
(3,1)
(3,2)
(3,3)
donde cada elemento de

este arreglo es un
elemento de AxA y (1,2),
(1,3) y (2,3) son los pares
ordenados de .
11
3. Relacin
El dominio de (denotado Dom()) es el
conjunto de todos los primeros elementos de ;
en simbolos:
Dom() = {a : (a,b) } = {a : a b}
La imagen de (denotado por Im()) es el
conjunto de todos los segundos elementos de ;
en simbolos:
Im() = {b : (a, b) } = {b : ab}
12
16-02-2016
3. Relacin
En el ejemplo:
A={1,2,3} y A=MENOR QUE, los pares ordenados
de A son (1,2), (1,3) y (2,3).
A
(1,1)
(1,2)
(1,3)
(2,1)
(2,2)
(2,3)
(3,1)
(3,2)
(3,3)
Dom(A)={1,2}
Im(A)={2,3}
13
3. Relacin
Las Relaciones pueden ser:
EN FORMA VERBAL: se describe la relacin en
lenguaje natural y en forma precisa.
Ejemplo: Un nmero real Y es igual al cuadrado de otro
nmero real X mas una unidad.
EN FORMA ALGEBRAICA: se expresa mediante

una expresin lgico-matemtica
Ejemplo: Y = X2+1.
14
16-02-2016
3. Relacin
EN FORMA NUMRICA O TABULAR: como un
arreglo horizontal o vertical donde el 1er
rengln o columna se ubican los nmeros
asociados a X y en el 2do rengln o columna
los asociados a Y.
Ejemplo:
-1
-1
15
3. Relacin
EN FORMA GRFICA: los
pares
ordenados
que
cumplen
con
,
se
muestran en un plano y
le relacin ser la
grafica que forman.
Ejemplo:
16
16-02-2016
3. Relacin
Analicemos los siguientes ejemplos:
A
Yo manejo (conduzco)
cuidadosamente mi carro
B
El calor dilata los metales
Soy el profesor de un grupo de El agua hierve a 100C sobre

30 alumnos
el nivel del mar.
17
3. Relacin
A
B

30 alumnos
el nivel del mar.
Las Relaciones del grupo A son particulares,

hechos puntuales. YO CONDUZCO MI CARRO.
18
16-02-2016
3. Relacin
A
B

30 alumnos
el nivel del mar.
En el grupo B, observamos que el CALOR en

general dilata los metales, no se especifica un
tipo de calor.
19
3. Relacin
A
B

30 alumnos
el nivel del mar.
En las relaciones del Grupo A, las relaciones

NO SON NECESARIAS (que tenga que ser as),
estas se dicen CONTINGENTES (pueden ser de otra
manera)
20
10
16-02-2016
3. Relacin
Las relaciones del grupo A, se dicen NO
CONSTANTES, por que se pueden presentar de otra
manera, sin embargo, las del grupo B; se dicen
RELACIONES CONSTANTES.
LA CIENCIA
se interesa por
las relaciones
Generales
Necesarias
Constantes
21
3. Relacin
Las relaciones del grupo A, se dicen NO
CONSTANTES, por que se pueden presentar de otra
manera, sin embargo, las del grupo B; se dicen
RELACIONES CONSTANTES.
LA CIENCIA
se interesa por
las relaciones
Generales
Necesarias
Constantes
Esto se debe a que la

ciencia tiende a conectar en
forma coherente todos sus
CONOCIMIENTOS,
con
relaciones que no varen,
as
como
tambin
es
necesario
que
sean
comprobadas.
22
11
16-02-2016
4. Ley
La
ciencia
se
ocupa
de
las
relaciones
constantes e invariables entre hechos, a este
tipo de relaciones se les llama LEY.
LEY
Griego
NOMOS
Significa MANDATO
23
4. Ley
La
ciencia
se
ocupa
de
las
relaciones
constantes e invariables entre hechos, a este
tipo de relaciones se les llama LEY.
LEY
Griego
NOMOS
Significa MANDATO
RELACION
PERMANENTE
ENTRE
LOS
FENOMENOS (HECHOS), PORQUE ES FORZOSA
24
12
16-02-2016
4. Ley
EJEMPLO:
25
4. Ley
EJEMPLO:
Actioni contrariam semper & qualem esse reactionem:
sive corporum duorum actiones in se mutuo semper esse
quales & in partes contrarias dirigi.
26
13
16-02-2016
4. Ley
EJEMPLO: La 3era Ley de Newton.
Actioni contrariam semper & qualem esse reactionem: sive
corporum duorum actiones in se mutuo semper esse quales & in
partes contrarias dirigi.
A TODA ACCIN SE OPONE SIEMPRE UNA REACCIN CONTRARIA E IGUAL
Acciones
entre
dos
siempre
iguales
y
sentido contrario.
cuerpos
dirigidas
son
en
La estructura en forma de reaccin

entre
los
elementos,
permanece
constante
aunque
los
elementos
varen.
27
4. Ley
De otra forma si un cuerpo A choca contra un
cuerpo B, este modifica su estado pero a su vez
tambin el cuerpo A modifica el suyo.
La caracterstica principal de toda Ley, radica
en que constituye una relacin constante entre
dos o ms variables. (ELEMENTOS QUE VARIAN).
Cuando se formula una Ley NO se afirma que
existan elementos que no cambian, la invariacin
(constancia o permanencia) se presenta en las
relaciones.
28
14
16-02-2016
4. Ley
Una Ley, es un esquema o estructura permanente
de acontecimientos que varan.
RELACIONES CONSTANTES NO OBSERVABLES
LAS LEYES
LAS COMPRENDEMOS A PARTIR DE LA
OBSERVACIN DE LOS FENOMENOS
29
4. Ley
OBSERVACION
DE FENOMENOS
DATOS
Informacin
obtenida de lo
observado
COMPRENSION
Forman un conjunto
de antecedentes, los
cuales podemos
analizar estudiar y
ordenar para
descubrir que tipo
de relacin existe
entre ellos.
Comprendemos a partir de
la observacin de
fenmenos
30
15
16-02-2016
4. Ley
DATO(S)
Informacin
obtenida de lo
observado
ANTECEDENTES
RELACION
Estudiar,
analizar, ordenar
INCOGNITA
DATOS
RESPUESTA PROVISIONAL
DEL PROBLEMA
PROBLEMA
HIPOTESIS
Se formula a manera de
pregunta encaminada a
resolver la incgnita
31
4. Ley
Luego de que se formulan las leyes y estas son
comprobadas; EXPRESAN las relaciones constantes
entre fenmenos cuya funcin principal es EXPLICAR
un hecho con base a la relacin que guarda este con
otros.
HECHOS
RELACIN
LEY
FENMENOS
32
16
16-02-2016
4. Ley
funcin
de Ley
Obtencin de Leyes
LEY
CAMPO DE CONOCIMIENTO
EXPLICACIN Y
PREDICCIN
PROBLEMA
HECHOS
FENMENOS
HOPTESIS
RELACIN
COMPROBACIN
33
5. Teoras
Una Investigacin llega a ser CIENCIA, cuando en
ella se han construido TEORIAS.
La teora es un elemento sin el cual no hay
Ciencia. Es un sistema relacional de LEYES y que
ofrece una explicacin de las mismas.
PROBLEMA
DATOS
HIPOTESIS
PREMISAS
LEYES
TEORIAS
34
17
16-02-2016
5. Teoras
Las Ciencias que explican hechos y sus relaciones
se llaman Ciencias Factuales:
ESTRUCTURA: que se logra mediante la razn
(entendimiento).
CONTENIDO:
experiencia.
que
se
conoce
mediante
la
Los hechos pueden ser: NATURALES (luz, clulas, los

metales) o SOCIALES (la sociedad, una empresa, una
huelga).
35
5. Teoras
Existe otro tipo de ciencias; las FORMALES, que
solo estudian las relaciones sin referirlas a
hechos.
Estas
tienen
como
contenido,
las
estructuras lgicas y/o matemticas, que no tienen
correspondencia con la realidad.
ESTRUCTURA: relacin que guardan en s los
conocimientos de la ciencia.
CONTENIDO:
relaciones
comprenden con la razn.
lgicas
que
se
36
18
16-02-2016
5. Teoras
CIENCIA
Factual
Formal
La ciencia necesita
estructurar sus
conocimientos,
relacionarlos y
adquirir una forma.
CONTENIDO
37
5. Teoras
Al quedar absorbida por una teora, una
HIPOTESIS, recibe el apoyo o refutacin de un
campo de conocimiento mas amplio.
TEORIAS
REFUERZOS
HIPOTESIS
CAMPO DE LA TEORIA
38
19
16-02-2016
5. Teoras
Una Teora; da una explicacin sobre un
determinado campo que ha sido explicado de
manera fragmentaria por leyes que requieren de
una explicacin integral.
Supone un objeto
aquello sobre lo
que se investiga
Propone un punto de vista
la forma como se
estudia el objeto
TEORIA
QUEDA ESTABLECIDO DESDE EL PRINCIPIO DE LA INVESTIGACIN
39
5. Teoras
Los datos; por si solos no dicen nada, para
ellos; es necesario interpretarlos por medio de
trminos.
TEORIA
Ley 1
Ley 2
EXPLICACION INTEGRAL
Ley 3
SISTEMA
RELACIONAL
EXPLICACION
FRAGMETARIA
CAMPO DE CONOCIMIENTO
40
20
16-02-2016
5. Teoras
Funcin de una Teora:
SISTEMATIZAR
el
conocimiento
estableciendo relaciones lgicas entre
leyes.
EXPLICAR las leyes en si mismas.
INCREMENTAR el conocimiento.
REFORZAR el contraste entre hiptesis
planteadas.
41
5. Teoras
Una Teora:
Es
un
sistema
lgico
compuesto
de
observaciones, axiomas y postulados, que tienen
como objetivo declarar bajo qu condiciones se
desarrollarn ciertos supuestos, tomando como
contexto una explicacin del medio idneo para
que se desarrollen las predicciones.
42
21
16-02-2016
6. Teora De Modelos
REPRESENTACIN
REFERENCIA
43
6. Teora De Modelos
REPRESENTACIN
REFERENCIA
44
22
16-02-2016
6. Teora De Modelos
MODELO
REPRESENTACIN
REFERENCIA
45
6. Teora De Modelos
La frase MODELO, abarca varios significados:
REPRESENTACIN, la maqueta de un edificio.
PERFECCIN
IDEAL,
estudiante modelo
Jaimito
es
un
MUESTRA, un vendedor que lleva un modelo de

artculo.
46
23
16-02-2016
6. Teora De Modelos
La frase MODELO, abarca varios significados:
REPRESENTACIN, la maqueta de un edificio.
PERFECCIN
IDEAL,
estudiante modelo
Jaimito
es
un
MUESTRA, un vendedor que lleva un modelo de

artculo.
Los MODELOS, son medios para comprender lo que
una teora intenta explicar.
47
6. Teora De Modelos
Es la rama de la lgica matemtica que estudia
el concepto de verdad a travs de una conexion
de Galois (orden y correspondencia entre dos conjuntos);
inducida por la relacin de satisfacibilidad de
Tarski entre dos conjuntos:
las frmulas
relativas a un lenguaje formal y los conjuntos
de sistemas algebraicos adecuados al mismo
lenguaje formal y
los vinculos que existen
entre las relaciones de consecuencia sintactica
y de semantica.
48
24
16-02-2016
6. Teora De Modelos
TEORIA DE MODELOS =
La definicin
conecta
el
de
(Algebra Universal; Lgica Matemtica)
Verdad;
es
a travs de
el puente
,
Con
.
que
la
49
6. Teora De Modelos
Consideremos en el conjunto de los Reales, un
nmero real y un conjunto de relaciones y/o
funciones como { , +, , ., 0, 1 }. Dada la
oracin:
= =+
50
25
16-02-2016
6. Teora De Modelos
= =+
La sentencia es verdadera, ya que existe tal
nmero real y, a saber la raz cuadrada de 2.
Otra proposicin similar,
= =
51
6. Teora De Modelos
= =
Es falsa en los reales, pero es verdadera en
los nmeros complejos, donde i i = 0 1.
52
26
16-02-2016
6. Teora De Modelos
En matemticas, lgica y propiamente la teora
de modelos (la ciencia en general) es necesario
conocer los objetivos que implica TEORIZAR,
estos son:
SISTEMATIZAR EL CONOCIMIENTO; estableciendo
relaciones lgicas entre leyes.
EXPLICAR; leyes dentro de la teora.
INCREMENTAR EL CONOCIMIENTO.
REFORZAR
EL
CONTRASTE
DE
LAS
HIPTESIS;
sometiendolas al control de las hiptesis del
sistema.
53
6. Teora De Modelos
Ejemplo:
Si dejamos caer una piedra desde un edificio de
altura h0, el movimiento est dado por:
Con velocidad () = negativa porque h disminuye

y aceleracin () = .
Que pasa si arrojamos primero el objeto para arriba,

es decir, si le damos una velocidad inicial v0?
Cul ser la altura mxima a la que llegar?
Cundo llegar a la altura h0 y cundo tocar el
suelo?
54
27
16-02-2016
6. Teora De Modelos
Ejemplo:
La nica fuerza que acta sobre el objeto una vez
lanzado es su peso. Segn la ley de Newton la
aceleracin ser:
() =
Por el teorema fundamental:
= +
Como la velocidad inicial es = , entonces:
= +
55
6. Teora De Modelos
Ejemplo:
Aplicando nuevamente el teorema fundamental:
Como = ,
= + +
= + +
Entonces h(t) ser mxima si = + = , es decir,
para = , teniendo en cuenta el signo de

y el
hecho de que tomamos positivo.

=

=
+
56
28
16-02-2016
6. Teora De Modelos
Ejemplo:
La piedra llegar al nivel cuando = , es decir:
Por lo que:
= + +
La piedra tarda el mismo tiempo en subir que en bajar, y
ser:
inicial
pero
podemos notar que su velocidad en =

+ =
La misma velocidad
contrario.
que
la
de
signo
57
6. Teora De Modelos
La esencia:
Los modelos relacionan unas teoras con otras,
en trminos de un lenguaje formal, que explica
dichas teoras en trminos de un sistema de
leyes (relacional), con el fin de establecer la
idea de que pueden haber diversas clases de
modelos
que
difieren
en
su
grado
de
abstraccin.
58
29
16-02-2016
6. Teora De Modelos
TEORIAS
MODELO
Campo de la
abarcado por la
teora
59
6. Teora De Modelos
TEORIAS
MODELO
Campo de la
abarcado por la
teora
60
30
16-02-2016
6. Teora De Modelos
Aspectos
Fundamentales de la
TEORIA
TEORIAS
MODELO
Regin a la que hace

referencia el MODELO
Campo de la
abarcado por la
teora
61
6. Teora De Modelos
Cuando se formula el modelo en trminos de un
lenguaje formal, lo especificamos de acuerdo a
una estructura especificada.
LENGUAJE FORMAL DEFINIDO

COSNTRUCCIONES
HIPOTETICAS
MODELO
INTERACCIONES ENTRE
ELEMENTOS
62
31
16-02-2016
6. Teora De Modelos
Lenguaje Formal: es un lenguaje cuyos smbolos
primitivos
y
reglas
para
unir
a
dichos
smbolos estn formalmente especificadas.
63
6. Teora De Modelos
Lenguaje Formal: es un lenguaje cuyos smbolos
primitivos
y
reglas
para
unir
a
dichos
smbolos estn formalmente especificadas.
Al conjunto de
. (Vocabulario).
se le llama
Si es un alfabeto y , entonces
denotamos que es un smbolo de .
debe ser un conjunto finito no vacio.
64
32
16-02-2016
6. Teora De Modelos
Al conjunto de
. (Sintaxis).
se le llama
A una cadena o secuencia de smbolos formada de

acuerdo a la gramtica formal, se le llama
Esta frmula
finita
debe
tener
una
longitud
65
6. Teora De Modelos
Ejemplo:
Supongamos
1 = {a,b} y una gramtica g que
defina palabras como aquellas que tienen igual
nmero de smbolos a que b.
ab, abba, baba, aababb,

El lenguaje Formal sera el conjunto de
frmulas que cumplen con la gramtica definida
66
33
16-02-2016
3. Teora De Modelos
Una
es una secuencia de smbolos de un
alfabeto
(palabras
definidas
sobre
un
alfabeto).
Ejemplo:
Sean 1 y 2 dos alfabetos tal que:
1 = {a,b,c,d,,y,z}, 2 = {0,1}
X = casa es una palabra sobre 1
Y = 1101 es una palabra sobre 2
67
3. Teora De Modelos
Una
es una palabra sin ningn
tipo de smbolo (), una palabra cuya longitud
es cero.
La
es el nmero de smbolos
que contiene dicha palabra)se denota como |*|.
Ejemplo:
X = casa
|X| = 4
P =
Y = 1101001
|P| = 0
|Y| = 7
68
34
16-02-2016
6. Teora De Modelos
Universo del Discurso
definido como el
conjunto de todas las palabras que se pueden
formar con los smbolos de un alfabeto .
Un
definido sobre un alfabeto es
un conjunto cualquiera de palabras definidas
sobre el mismo alfabeto y bajo una gramtica
formal definida para L.
Se dice que L es UNIVERSAL si a l pertenece la
palabra vaca.
69
6. Teora De Modelos
En algunos lenguajes formales (en la mayora),
existe una forma que permite interpretar y dar
significado a las frmulas y/o cadena de
formulas del lenguaje. A esta forma se le llama
SEMANTICA.
,
refiere
la
estructura
pura
del
lenguaje.
, refiere al estudio de las relaciones
entre signos, smbolos y objetos que ellas
designan dentro del lenguaje.
70
35
16-02-2016
6. Teora De Modelos
Ejemplo:
Obtener varias palabras del lenguaje R:
71
72
36
16-02-2016
6. Teora De Modelos
Concatenacin de Palabras: Dado un alfabeto ,
y dos palabras u,v , la concatenacin de u y
v se denota como uv.
Ejemplo:
U=abcd y V=efg, se tiene que la concatenacin

UV = abcdefg.
73
6. Teora De Modelos
Potencias de Palabras: Dada
define (descriptivamente)
forma:
u y n
se
en la siguiente
0 =
= n veces.
74
37
16-02-2016
6. Teora De Modelos
Dados , se define:
Unin de Lenguajes:
Concatenacin de Lenguajes:
Simulacin
Modelos
Leyes
Teoras
Simulacin
y y
Modelos

Leyes
y y
Teoras
75
75
6. Teora De Modelos
Estudiar si las
verdaderas en el
Enteros:
siguientes oraciones son

conjunto de los Nmeros
, < +
= +
76
38
16-02-2016
6. Teora De Modelos
, < +
SOL:
El predicado : < + es una proposicin
verdadera si sustituimos x por cualquier nmero
entero.
= +
SOL:
La proposicin es existe, al menos, un nmero entero
que es igual al siguiente
El predicado : = + es una proposicin falsa para
cualquier nmero entero x.
77
6. Teora De Modelos
Para cada segmento de programa, determine el
numero de veces que se ejecuta la sentencia
x:=x+1
78
39
16-02-2016
6. Teora De Modelos
Solucin para a): Si asignamos:
: < y : > tenemos que:
y:=1
Si

x:= x+1
Si

x:= x+2
es verdad entonces
es falso entonces
Como el valor de y es 1, ambos predicados se

convierten en proposiciones verdaderas, la
sentencia se ejecuta 1 vez.
79
6. Teora De Modelos
Solucin para b): Si asignamos:
: < y : > y : = tenemos que:
y:=2
Si

x:= x+1
Si

x:= x+2
es verdad entonces

es falso entonces
Pues bien, para que [p(y) q(y)] r(y) sea

una proposicin verdadera, bastar con que lo
sea una de las dos.
80
40
16-02-2016
6. Teora De Modelos
Como el valor de y es 2, r(y) ser una
proposicin falsa, de aqu que tenga que ser
verdad la conjuncin p(y) q(y) para lo cual
lo tendrn que serlo ambas, lo cual es
imposible ya que cuando p(y) sea verdad, q(y)
ser falsa y viceversa.
81
6. Teora De Modelos
Como el valor de y es 2, r(y) ser una
proposicin falsa, de aqu que tenga que ser
verdad la conjuncin p(y) q(y) para lo cual
lo tendrn que serlo ambas, lo cual es
imposible ya que cuando p(y) sea verdad, q(y)
ser falsa y viceversa.
La sentencia x := x + 1
no se ejecuta ninguna vez.
82
41
16-02-2016
6. Teora De Modelos
Una
Gramtica,
es
un
ente
formal
para
especificar, de una manera finita, el conjunto
de
cadenas
de
simbolos
(palabras)
que
constituyen un lenguaje.
Formalmente, es una cudrupla:
donde:
VT = {conjunto finito de smbolos terminales}
VN = {conjunto finito de smbolos no terminales}
S es el smbolo inicial y pertenece a VN.
P = {conjunto de producciones o de reglas de derivacin}
83
6. Teora De Modelos
Todas las cadenas del lenguaje definido por la
gramtica
estn
formados
con
smbolos
del
vocabulario terminal VT. El vocabulario terminal se
define por enumeracin de los smbolos terminales.
El vocabulario no terminal VN es el conjunto de
smbolos introducidos como elementos auxiliares
para la definicin de la gramtica, y que no
figuran
en
las
sentencias
del
lenguaje.
El
vocabulario no terminal se define por enumeracin
de los smbolos no terminales.
=
84
42
16-02-2016
6. Teora De Modelos
El smbolo inicial S es un smbolo no terminal
a partir del cual se aplican las reglas de la
gramtica para obtener las distintas cadenas
del lenguaje.
Las producciones P son las reglas que se

aplican desde el smbolo inicial para obtener
las cadenas del lenguaje.
85
6. Teora De Modelos
Ejemplo de Gramtica:
Sea la gramtica : G = (VT, VN, S, P) donde:
VT={a;b}, VN={S}. Un conjunto de producciones
ser:

Algunas palabras pueden ser:
ab, aabb, aaabbb, aaaabbbb,
86
43
16-02-2016
6. Teora De Modelos
Ejemplo:
Sea G = (c, {S,A}, S, {S |A; A AA|c}).
Obtenga el lenguaje generado.
SOLUCIN:
El lenguaje asociado a una gramtica se
corresponde con el conjunto de todas las
sentencias de la gramtica:
L(G) = {x / S x AND x }
87
6. Teora De Modelos
Observacin:
Una forma de encontrar las sentencias (o
palabras) del lenguaje asociado a una gramtica
es apoyarse en una estructura en forma de rbol
en la que la raz es el axioma y las hojas las
palabras del lenguaje. Para construir este
rbol, hay que tener presente que sus nodos, en
general,
se
corresponden
con
palabras
temporales que derivan en otras palabras
temporales. El paso de una a otra se consigue
aplicando producciones.
88
44
16-02-2016
6. Teora De Modelos
89
6. Teora De Modelos
Ejemplo:
Sea G = (c, {S,A}, S, {S |A; A AA|c}).
Solucin:
L(G) = {, c, cc, ccc,}

= , /
90
45
16-02-2016
6. Teora De Modelos
Ejemplo:
Sea G = (cd, {S,A}, S, P) donde:
P:{S |A; A cAd|cd}).
91
6. Teora De Modelos
Ejemplo:
Sea G = (cd, {S,A}, S, P)
donde P:{S |A; A cAd|cd}).
Solucin:
= , /
92
46
16-02-2016
6. Teora De Modelos
Una gramtica describe la estructura de
frases y de las palabras de un lenguaje.
las
93
6. Teora De Modelos
94
47
16-02-2016
95
48

SyM - Clase 1 Leyes y Teorias

Diunggah oleh

Informasi Dokumen

Judul Asli

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

SyM - Clase 1 Leyes y Teorias

Diunggah oleh

Hak Cipta:

Format Tersedia

16-02-2016

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Los anteriores nos muestran lo que comnmente

Simulacin y Modelos Leyes y Teoras

CUALQUIER ACONTECIMIENTO, lo que se produce en

UN PROCESO, que se refiere a una secuencia

UN SISTEMA CONCRETO, es decir, un ser fsico

Simulacin y Modelos Leyes y Teoras

TODO AQUELLO QUE FORMA PARTE DE LA REALIDAD

Simulacin y Modelos Leyes y Teoras

Una tarde de lluvia no solo es un

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Sean A y B dos cunjuntos tal que: AxB es el

Simulacin y Modelos Leyes y Teoras

donde cada elemento de

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

EN FORMA ALGEBRAICA: se expresa mediante

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Soy el profesor de un grupo de El agua hierve a 100C sobre

Simulacin y Modelos Leyes y Teoras

Soy el profesor de un grupo de El agua hierve a 100C sobre

Las Relaciones del grupo A son particulares,

Simulacin y Modelos Leyes y Teoras

Soy el profesor de un grupo de El agua hierve a 100C sobre

En el grupo B, observamos que el CALOR en

Simulacin y Modelos Leyes y Teoras

Soy el profesor de un grupo de El agua hierve a 100C sobre

En las relaciones del Grupo A, las relaciones

Simulacin y Modelos Leyes y Teoras

Esto se debe a que la

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

La estructura en forma de reaccin

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

RELACIONES CONSTANTES NO OBSERVABLES

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Los hechos pueden ser: NATURALES (luz, clulas, los

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Propone un punto de vista

QUEDA ESTABLECIDO DESDE EL PRINCIPIO DE LA INVESTIGACIN

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

Simulacin y Modelos Leyes y Teoras

MUESTRA, un vendedor que lleva un modelo de