หนังสือดิจิตอล > วิทยาศาสตร์ > คณิตศาสตร์ > Ismael Gutíerrez García: Matemáticas para informática (PDF)

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

สนับสนุน

ปกของ 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา สเปน ● รูป PDF ● หน้า 202 ● ISBN 9789587419344 ● ขนาดไฟล์ 8.3 MB ● สำนักพิมพ์ Universidad del Norte ● เมือง Bogotá ● ประเทศ CO ● การตีพิมพ์ 2018 ● ฉบับ 1 ● ที่สามารถดาวน์โหลดได้ 24 เดือน ● เงินตรา EUR ● ID 7627671 ● ป้องกันการคัดลอก โซเชียล DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Ismael Gutiérrez García

50,053 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

ปกของ 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- …

ปกของ 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 …

ปกของ 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 …

ปกของ 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 …

หน้าต่อไป >>>