Matemáticas Discretas: una perspectiva funcional con Python 3.x

Abstract

Matemáticas Discretas es una disciplina obligatoria en las Ciencias Computacionales. En este libro se propone un amplio conjunto de definiciones que son propias del área. Se abordan temas de Cálculo Proposicional, Lógica de Predicados, Conjuntos, Relaciones, Funciones y Teoría de Grafos; todos los temas se describen tanto en el lenguaje de matemáticas como en el lenguaje de programación Python 3.

Las definiciones que se ofrecen están escritas principalmente usando el lenguaje de programación Python. Se ha seleccionado este lenguaje de programación por diversas razones, entre estas, porque Python es un lenguaje de propósito general y multiparadigma. Escribir las definiciones matemáticas usando la sintaxis y semántica de Python, acerca a los programadores a la formalidad y abstracción matemática, y acerca a los matemáticos a la efectividad y eficiencia computacional.

Discrete Mathematics: A Functional Perspective with Python 3.x

Discrete mathematics is a compulsory discipline in the Computer Science. This book proposes a wide set of definitions that are specific to the area. It addresses Propositional Calculus, Predicate Logic, Sets, Relations, Functions, and Graph Theory. Every topic is described in mathematical language and Python 3.x programming language.

The definitions offered are mainly written using the Python programming language. This programming language has been selected for many reasons; one of them, because Python is a general purpose and multi-paradigm language. Redact mathematical definitions using Python syntax and semantics brings programmers closer to mathematical formality and abstraction, and mathematicians closer to computational effectiveness and efficiency