eBook - ePub
Matemáticas para informática
Ismael Gutíerrez García
This is a test
Compartir libro
- 202 páginas
- Spanish
- ePUB (apto para móviles)
- Disponible en iOS y Android
eBook - ePub
Matemáticas para informática
Ismael Gutíerrez García
Detalles del libro
Vista previa del libro
Índice
Citas
Información del libro
Esta obra tiene su origen en los cursos de Matemáticas Discretas y Lógica Matemática ofrecidos por el autor en los programas de Ingeniería de Sistemas y Matemáticas de la Universidad del Norte (Colombia). La primera parte trata sobre el cálculo proposicional y presenta una introducción a la lógica de primer orden. La segunda parte del texto está dedicada al sistema axiomático de Zermelo - Fränkel para la teoría de conjuntos. Un aspecto relevante de esta obra es la elaboración del software educativo MaXI, que se anexa como un producto del proyecto de investigación "Dos tópicos en matemáticas discretas", financiado por la Universidad del Norte.
Preguntas frecuentes
¿Cómo cancelo mi suscripción?
¿Cómo descargo los libros?
Por el momento, todos nuestros libros ePub adaptables a dispositivos móviles se pueden descargar a través de la aplicación. La mayor parte de nuestros PDF también se puede descargar y ya estamos trabajando para que el resto también sea descargable. Obtén más información aquí.
¿En qué se diferencian los planes de precios?
Ambos planes te permiten acceder por completo a la biblioteca y a todas las funciones de Perlego. Las únicas diferencias son el precio y el período de suscripción: con el plan anual ahorrarás en torno a un 30 % en comparación con 12 meses de un plan mensual.
¿Qué es Perlego?
Somos un servicio de suscripción de libros de texto en línea que te permite acceder a toda una biblioteca en línea por menos de lo que cuesta un libro al mes. Con más de un millón de libros sobre más de 1000 categorías, ¡tenemos todo lo que necesitas! Obtén más información aquí.
¿Perlego ofrece la función de texto a voz?
Busca el símbolo de lectura en voz alta en tu próximo libro para ver si puedes escucharlo. La herramienta de lectura en voz alta lee el texto en voz alta por ti, resaltando el texto a medida que se lee. Puedes pausarla, acelerarla y ralentizarla. Obtén más información aquí.
¿Es Matemáticas para informática un PDF/ePUB en línea?
Sí, puedes acceder a Matemáticas para informática de Ismael Gutíerrez García en formato PDF o ePUB, así como a otros libros populares de Mathematics y Discrete Mathematics. Tenemos más de un millón de libros disponibles en nuestro catálogo para que explores.
Información
Parte I
Lógica Matemática
Capítulo 1
Cálculo proposicional
Contenido
1.1. Un poco de historia
1.2. Sintaxis
1.2.1. Algoritmo de decisión I
1.2.2. Unicidad en la escritura de una fórmula
1.2.3. Recursividad en fórmulas proposicionales
1.3. Notación libre de paréntesis o polaca
1.3.1. Algoritmo de decisión II
1.4. Un sistema deductivo
1.5. Semántica
1.5.1. Equivalencias y el principio de sustitución
1.5.2. Formas normales
1.6. Ejercicios
En el primer capítulo abordamos el cálculo proposicional. Inicialmente presentamos algunos aspectos históricos de la misma y posteriormente nos concentramos en dos tópicos centrales, la sintaxis y la semántica, parte en donde se destacan la demostración del teorema de completitud para el cálculo proposicional y las formas normales de una fórmula proposicional.
1.1 Un poco de historia
Durante mucho tiempo se han distinguido tres grandes partes de la lógica: la lógica formal, la lógica simbólica y la lógica matemática. En la actualidad existen algunas subdivisiones adicionales, por ejemplo, la lógica paraconsistente, cuántica e intuicionista entre otras. La lógica formal fue iniciada por los griegos hace por lo menos veinticinco siglos. Aristóteles1 estableció y desarrolló las bases de la lógica formal. Para él, la lógica era una introducción al saber general, por cuanto constituye una especie de instrumento para todas las ciencias.
Establecidos en lo que posteriormente se denominó el Organon, que significa instrumento, los tratados lógicos de Aristóteles contienen el primer tratamiento sistemático de las leyes del pensamiento en relación con la adquisición del conocimiento, que hacen especial énfasis en el estudio del silogismo. Este es un conjunto de tres enu...