Catalog > Ciencia > Matemáticas > Ismael Gutíerrez García: Matemáticas para informática (PDF)

Ismael Gutíerrez García
Matemáticas para informática [PDF ebook]

Soporte

Portada de Ismael Gutíerrez García: Matemáticas para informática (PDF)

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 Ma XI, que se anexa como un producto del proyecto de investigación ‘Dos tópicos en matemáticas discretas’, financiado por la Universidad del Norte.

€5.49

¡Compre este libro electrónico y obtenga 1 más GRATIS!

Idioma Español ● Formato PDF ● Páginas 202 ● ISBN 9789587419344 ● Tamaño de archivo 8.3 MB ● Editorial Universidad del Norte ● Ciudad Bogotá ● País CO ● Publicado 2018 ● Edición 1 ● Descargable 24 meses ● Divisa EUR ● ID 7627671 ● Protección de copia DRM social

Más ebooks del mismo autor / Editor

Ismael Gutiérrez García

50.053 Ebooks en esta categoría

Portada de Michael Atiyah: K-theory

Michael Atiyah: K-theory

These notes are based on the course of lectures I gave at Harvard in the fall of 1964. They constitute a self-contained account of vector bundles and K-theory assuming only the rudiments of point-set …

Portada de Martin (Imperial College, London, UK) Liebeck: A Concise Introduction to Pure Mathematics

Martin (Imperial College, London, UK) Liebeck: A Concise Introduction to Pure Mathematics

Accessible to all students with a sound background in high school mathematics, A Concise Introduction to Pure Mathematics, Fourth Edition presents some of the most fundamental and beautiful ideas in …

Portada de Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications

Michael (University College, Cork, Ireland) Kennedy & Riccardo (University of Bologna, Italy) Rovatti: Chaotic Electronics in Telecommunications

At the code level, discrete-time chaotic systems can be used to generate spreading codes for DS-SS systems. At the signal level, continuous-time chaotic systems can be used to generate wideband carri …

Portada de Carl C. Cowen Jr.: Composition Operators on Spaces of Analytic Functions

Carl C. Cowen Jr.: Composition Operators on Spaces of Analytic Functions

The study of composition operators lies at the interface of analytic function theory and operator theory. Composition Operators on Spaces of Analytic Functions synthesizes the achievements of the pas …

Portada de Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

Ning (Michigan State University, East Lansing, USA) Xi & Mingjun (The Ohio State University, USA) Zhang: Nanomedicine

This book offers a fundamental and comprehensive overview of nanomedicine from a systems engineering perspective, making it the first book in the field of quantitative nanomedicine based on systems t …

Portada de R Costa & A. Grichkov: NonasSociative Algebra and Its Applications

R Costa & A. Grichkov: NonasSociative Algebra and Its Applications

A collection of lectures presented at the Fourth International Conference on Nonassociative Algebra and its Applications, held in Sao Paulo, Brazil. Topics in algebra theory include alternative, Bern …

Portada de Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Yunho Hwang & Reinhard Radermacher: Vapor Compression Heat Pumps with Refrigerant Mixtures

Amidst tightening requirements for eliminating CFC»s, HCFC»s, halons, and HFC»s from use in air conditioning and heat pumps, the search began for replacements that are environmentally benign, non- …

Portada de C. (University of California, La Jolla, USA) Pozrikidis: Modeling and Simulation of Capsules and Biological Cells

C. (University of California, La Jolla, USA) Pozrikidis: Modeling and Simulation of Capsules and Biological Cells

In the past three decades, considerable progress has been made in the mathematical analysis, modelling, and simulation of the fluid dynamics of liquid capsules and biological cells, and interest in t …

Portada de Russell L. Herman: A Course in Mathematical Methods for Physicists

Russell L. Herman: A Course in Mathematical Methods for Physicists

Based on the author»s junior-level undergraduate course, this introductory textbook is designed for a course in mathematical physics. Focusing on the physics of oscillations and waves, A Course in M …

Portada de Daniel B. Rowe: Multivariate Bayesian Statistics

Daniel B. Rowe: Multivariate Bayesian Statistics

Of the two primary approaches to the classic source separation problem, only one does not impose potentially unreasonable model and likelihood constraints: the Bayesian statistical approach. Bayesian …

siguiente página >>>