Matemáticas para informática Ismael Gutiérrez García

By:

Gutiérrez García, Ismael

Material type: Text

TextColombia : Ecoe Ediciones 2010Edition: 1Description: 118 páginas ; 23cm. ilContent type:

texto

Media type:

no mediado

Carrier type:

volumen

ISBN:

978-958-741-075-4

Subject(s):

MATEMÁTICAS PARA INFORMÁTICA.SEMÁNTICA.ALGORITMO

DDC classification:

DONACION
511.3 G9844ma

Online resources:

Portada

Contents:

1. Cálculo proporsional. 2. Introducción a la lógica de primer orden. 3. El sistema axiomático ZF.

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

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	Copy number	Status	Date due	Barcode
Libros	Biblioteca La Matriz INGENIERIA EN INFORMATICA Y SISTEMAS COMPUTACIONALES / LA MATRIZ	Acervo general de Libros	DONACION 511.3 G9844ma (Browse shelf(Opens below))	V.1 Ej.1	Available		005697-13

1. Cálculo proporsional. 2. Introducción a la lógica de primer orden. 3. El sistema axiomático ZF.

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

Sistemas de Información

There are no comments on this title.

to post a comment.