Matemática Discreta y Lógica Matemática. /

La informática, además de los elementos de álgebra lineal y cálculo infinitesimal tradicionales y comunes a todas las ingenierías, necesita desde sus primeros cursos herramientas matemáticas orientadas a la modernización de fenómenos discretos. De ahí el importante papel de la matemática discreta y...

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Hortalá González, María Teresa (autor)
Outros Autores: Leach Albert, Javier (autor), Rodríguez Artalejo, Mario (autor)
Formato: Livro
Idioma:espanhol
Edição:Cuarta edición
Assuntos:
Acesso em linha:Ver en el OPAC
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

MARC

LEADER 00000nam a22000007i 4500
007 ta
008 210521t2018 sp ||||g |||| 00| 0 spa d
999 |c 230888  |d 231440 
020 |a 9788417289263 
037 |b Ibergarceta publicaciones, S.L. ; info@garceta.es ; www.garceta.es 
040 |a SV-SsUSB  |b spa  |e rda 
082 |2 21  |a 519.2  |b H821 
100 1 |a Hortalá González, María Teresa  |e autor 
245 1 0 |a Matemática Discreta y Lógica Matemática. /  |c María Teresa Hortalá González, Javier Leach Albert, Mario Rodríguez Artalejo 
250 |a Cuarta edición 
264 3 |a Madrid, España:  |b Garceta Grupo Editorial;  |c ©2018 
300 |a 562 páginas:  |b ilustraciones;   |c 24 cm 
336 |2 rdacontent  |a texto  |b txt 
337 |2 rdamedia  |a sin mediación  |b n 
338 |2 rdacarrier  |a volumen  |b nc 
500 |a Resumen tomado de la página web de la editorial www.garceta.es 
504 |a Incluye bibliografía e índice 
505 |a Números, inducción y recursión -- Conjuntos, relaciones y funciones -- Estructuras de orden – Combinatoria -- Estructuras algebraicas – Grafo -- Lógica de proposiciones -- Lógica de primer orden 
520 |a La informática, además de los elementos de álgebra lineal y cálculo infinitesimal tradicionales y comunes a todas las ingenierías, necesita desde sus primeros cursos herramientas matemáticas orientadas a la modernización de fenómenos discretos. De ahí el importante papel de la matemática discreta y la lógica matemática en los estudios de computación, donde esta asignatura tiene un carácter troncal en todos los planes de estudio actualmente vigentes. Se ha perseguido un estilo claro, detallado y pedagógico, incluyendo ejemplos y ejercicios tanto al final de cada tema como al final de cada capítulo. Se han omitido casi siempre las referencias bibliográficas en el curso de la exposición, aunque se ha incluido al final de la obra una selección de referencias bibliográficas básicas que pueden servir de guía para consultas o lecturas ulteriores. Se ha tratado con particular cuidado los capítulos dedicados a números, conjuntos y estructuras de orden, poniendo énfasis en la motivación, comunicación y ejercicio de ideas y métodos fundamentales, muy particularmente el principio de inducción y las definiciones recursivas de funciones. Finalmente, se ha redactado con especial amplitud los capítulos dedicados a la lógica, que en nuestra opinión debe jugar un papel formativo básico desde las primeras etapas del estudio de la computación. Los dos capítulos dedicados a la exposición de la lógica de proposiciones y la lógica de predicados se centran en la construcción y uso del lenguaje formal de la lógica, e incluyen la presentación de la semántica y de métodos de deducción basados en tableaux, así como ejemplos pensados para ilustrar diferentes posibilidades de aplicación de la lógica. Esta obra, cuidadosamente revisada y actualizada, esta dirigía principalmente a los alumnos de los primeros cursos de las titulaciones de computación y afines. Ha surgido de la experiencia docente de los autores, que han impartido cursos en la materia durante décadas. En función de estas circunstancias, se ha procurado utilizar un estilo de exposición detallado y pedagógico, y se han incluido numerosos ejercicios que serán de gran utilidad para el alumno. 
521 |a General 
650 7 |2 lemb  |a matemáticas discretas  |9 665 
650 7 |2 lemb  |a probabilidades  |9 205 
700 1 |a Leach Albert, Javier  |e autor 
700 1 |a Rodríguez Artalejo, Mario  |e autor 
942 |2 Dewey Decimal Classification  |c Books 
990 |a eco_sandra 
952 |1 Disponible  |2 Dewey Decimal Classification  |8 Colección General  |a Biblioteca Ciencias Económicas  |b Biblioteca Ciencias Económicas  |c Colección General  |d 2020-02-28  |e Prolibros  |g 42.14  |i 014755  |k 01109  |l 0  |o 519.2 H821  |p 18014925  |r 2021-05-21 00:00:00  |w 2021-05-21  |y Books 
952 |1 Disponible  |2 Dewey Decimal Classification  |8 Colección General  |a Biblioteca Ciencias Económicas  |b Biblioteca Ciencias Económicas  |c Colección General  |d 2020-02-28  |e Prolibros  |g 42.14  |i 014756  |k 01109  |l 0  |o 519.2 H821  |p 18014926  |r 2021-05-21 00:00:00  |w 2021-05-21  |y Books 
952 |1 Disponible  |2 Dewey Decimal Classification  |8 Colección General  |a Biblioteca Ciencias Económicas  |b Biblioteca Ciencias Económicas  |c Colección General  |d 2020-02-28  |e Prolibros  |g 42.14  |i 014757  |k 01109  |l 0  |o 519.2 H821  |p 18014927  |r 2021-05-21 00:00:00  |w 2021-05-21  |y Books 
952 |1 Disponible  |2 Dewey Decimal Classification  |8 Colección General  |a Biblioteca Central  |b Biblioteca Central  |c Colección General  |d 2020-02-10  |e prolibros  |g 42.14  |l 0  |o 519.2 H821  |p 10056873  |r 2024-10-14 14:59:17  |w 2024-10-14  |y Books