Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Save to My Library
Look up keyword
Like this
14Activity
0 of .
Results for:
No results containing your search query
P. 1
Curso de Lógica Matemática, Matemáticas Discretas o Matemáticas Computacionales por Hugo Humberto Morales Peña

Curso de Lógica Matemática, Matemáticas Discretas o Matemáticas Computacionales por Hugo Humberto Morales Peña

Ratings: (0)|Views: 1,044 |Likes:
Published by cienciax
Este libro contiene un curso completo de logica y de matematicas discretas o matematicas computacionales, el autor plantea gran cantidad de ejercicios paso a paso, para estudio en forma clara y didactica para la persona que lea este documento y lo utilice como material de apoyo, recomendado tanto para usuarios novatos en el tema asi como para usuarios avanzados, en fin. disfrutenlo en toda su extension. ^-^
Este libro contiene un curso completo de logica y de matematicas discretas o matematicas computacionales, el autor plantea gran cantidad de ejercicios paso a paso, para estudio en forma clara y didactica para la persona que lea este documento y lo utilice como material de apoyo, recomendado tanto para usuarios novatos en el tema asi como para usuarios avanzados, en fin. disfrutenlo en toda su extension. ^-^

More info:

Published by: cienciax on May 09, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

05/26/2013

pdf

text

original

 
MATERIAL DE APOYO PARA ELPRIMER CURSO DE MATEMÁTICASCOMPUTACIONALES.
Ing. HUGO HUMBERTO MORALES PEÑA
MAESTRÍA EN ENSEÑANZA DE LAS MATEMÁTICASLínea de Matemáticas ComputacionalesUNIVERSIDAD TECNOLÓGICA DE PEREIRAFACULTAD DE CIENCIAS BÁSICASDEPARTAMENTO DE MATEMÁTICASPereira, Risaralda28 de Julio de 2010
 
2
 
Índice general
1. Introducción a la lógica matemática 7
1.1. Cálculo proposicional . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71.1.1. Conectivos proposicionales . . . . . . . . . . . . . . . . . . . . . 81.1.2. Fórmulas bien formadas . . . . . . . . . . . . . . . . . . . . . . 91.1.3. rmulas gicamente equivalentes (FLE) . . . . . . . . . . . . . 111.1.4. Tautología . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111.1.5. Leyes de la lógica . . . . . . . . . . . . . . . . . . . . . . . . . . 131.1.6. Utilizando las leyes de la gica proposicional . . . . . . . . . . . 141.1.7. Conectivo X-OR (
) . . . . . . . . . . . . . . . . . . . . . . . . 151.1.8. Conectivo NOR (
) . . . . . . . . . . . . . . . . . . . . . . . . . 171.1.9. Conectivo NAND (
) . . . . . . . . . . . . . . . . . . . . . . . . 201.1.10. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 221.2. Reglas de inferencia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 251.2.1. Tabla de reglas de inferencia . . . . . . . . . . . . . . . . . . . . 251.2.2. Utilización de las reglas de inferencia para demostrar la validezde razonamientos . . . . . . . . . . . . . . . . . . . . . . . . . . 291.2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 341.3. Lógica de predicados . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371.3.1. Cuanticador universal . . . . . . . . . . . . . . . . . . . . . . . 381.3.2. Cuanticador existencial . . . . . . . . . . . . . . . . . . . . . . 401.3.3. Variables ligadas . . . . . . . . . . . . . . . . . . . . . . . . . . 421.3.4. Alcance de un cuanticador . . . . . . . . . . . . . . . . . . . . 421.3.5. Negaciones y cuanticadores . . . . . . . . . . . . . . . . . . . . 431.3.6. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
2. Sucesiones y sumatorias 49
2.1. Funciones piso y techo . . . . . . . . . . . . . . . . . . . . . . . . . . . 492.1.1. Propiedades de las funciones piso y techo . . . . . . . . . . . . . 492.2. Sucesiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 502.3. Sucesiones especiales de números . . . . . . . . . . . . . . . . . . . . . 532.4. Sumatorias . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 572.4.1. Fórmulas de sumatorias útiles: . . . . . . . . . . . . . . . . . . . 612.5. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623

Activity (14)

You've already reviewed this. Edit your review.
1 hundred reads
1 thousand reads
jkl316 liked this
Curro liked this
Kaaro MoReno liked this
jkl316 liked this
Jonathan Palafox liked this
Erick Castillo liked this

You're Reading a Free Preview

Download
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->