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
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ tiếng Tây Ban Nha ● định dạng PDF ● Trang 202 ● ISBN 9789587419344 ● Kích thước tập tin 8.3 MB ● Nhà xuất bản Universidad del Norte ● Thành phố Bogotá ● Quốc gia CO ● Được phát hành 2018 ● Phiên bản 1 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 7627671 ● Sao chép bảo vệ DRM xã hội
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
50.053 Ebooks trong thể loại này
