eBook - ePub
Matemáticas para informática
Ismael Gutíerrez García
This is a test
Buch teilen
- 202 Seiten
- Spanish
- ePUB (handyfreundlich)
- Über iOS und Android verfügbar
eBook - ePub
Matemáticas para informática
Ismael Gutíerrez García
Angaben zum Buch
Buchvorschau
Inhaltsverzeichnis
Quellenangaben
Über dieses Buch
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.
Häufig gestellte Fragen
Wie kann ich mein Abo kündigen?
Gehe einfach zum Kontobereich in den Einstellungen und klicke auf „Abo kündigen“ – ganz einfach. Nachdem du gekündigt hast, bleibt deine Mitgliedschaft für den verbleibenden Abozeitraum, den du bereits bezahlt hast, aktiv. Mehr Informationen hier.
(Wie) Kann ich Bücher herunterladen?
Derzeit stehen all unsere auf Mobilgeräte reagierenden ePub-Bücher zum Download über die App zur Verfügung. Die meisten unserer PDFs stehen ebenfalls zum Download bereit; wir arbeiten daran, auch die übrigen PDFs zum Download anzubieten, bei denen dies aktuell noch nicht möglich ist. Weitere Informationen hier.
Welcher Unterschied besteht bei den Preisen zwischen den Aboplänen?
Mit beiden Aboplänen erhältst du vollen Zugang zur Bibliothek und allen Funktionen von Perlego. Die einzigen Unterschiede bestehen im Preis und dem Abozeitraum: Mit dem Jahresabo sparst du auf 12 Monate gerechnet im Vergleich zum Monatsabo rund 30 %.
Was ist Perlego?
Wir sind ein Online-Abodienst für Lehrbücher, bei dem du für weniger als den Preis eines einzelnen Buches pro Monat Zugang zu einer ganzen Online-Bibliothek erhältst. Mit über 1 Million Büchern zu über 1.000 verschiedenen Themen haben wir bestimmt alles, was du brauchst! Weitere Informationen hier.
Unterstützt Perlego Text-zu-Sprache?
Achte auf das Symbol zum Vorlesen in deinem nächsten Buch, um zu sehen, ob du es dir auch anhören kannst. Bei diesem Tool wird dir Text laut vorgelesen, wobei der Text beim Vorlesen auch grafisch hervorgehoben wird. Du kannst das Vorlesen jederzeit anhalten, beschleunigen und verlangsamen. Weitere Informationen hier.
Ist Matemáticas para informática als Online-PDF/ePub verfügbar?
Ja, du hast Zugang zu Matemáticas para informática von Ismael Gutíerrez García im PDF- und/oder ePub-Format sowie zu anderen beliebten Büchern aus Mathematics & Discrete Mathematics. Aus unserem Katalog stehen dir über 1 Million Bücher zur Verfügung.
Information
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...