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

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

Apoio

Capa do 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 e-book e ganhe mais 1 GRÁTIS!

Língua Espanhol ● Formato PDF ● Páginas 202 ● ISBN 9789587419344 ● Tamanho do arquivo 8.3 MB ● Editora Universidad del Norte ● Cidade Bogotá ● País CO ● Publicado 2018 ● Edição 1 ● Carregável 24 meses ● Moeda EUR ● ID 7627671 ● Proteção contra cópia DRM social

Mais ebooks do mesmo autor(es) / Editor

Ismael Gutiérrez García

50.053 Ebooks nesta categoria

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Capa do 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- …

Capa do 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 …

Capa do 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 …

Capa do 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 …

Próxima página >>>