LOGICA PARA INFORMATICOS Y OTRAS HERRAMIENTAS MATEMÃTICAS - Libreria Fleming, la libreria de Granada

Monedas:

Ahora tenemos 1199 libros y seguimos creciendo

Bienvenidos a Librería Fleming, la mejor librería técnica especializada

Especialidades

Detalles del libro

Haga Click para agrandar

LOGICA PARA INFORMATICOS Y OTRAS HERRAMIENTAS MATEMÃTICAS
[9788416535965]

I.S.B.N.: 9788416535965

Autor: JESUS GARCIA MIRANDA
Edición: 1
Lengua: Castellano
Año: 2017
Encuadernación: Rustica
Páginas: 293
Editorial:Editorial TÃ©cnica Avicam-Fleming

18.95 €
5% de descuento
18,00€

	Descripción del libro

	1. ALGEBRA DE BOOLE 1.1. ÃLGEBRAS DE BOOLE 1.2. FUNCIONES BOOLEANAS 2. LÃ“GICA PROPOSIONAL 2.1. LENGUAJE PROPOSICIONAL 2.2. SEMANTICA DE LA LÃ“GICA PROPOSICIONAL 2.3. EQUIVALENCIA LÃ“GICA 2.4. CONSECUENCIA LOGICA 2.5. FORMA CLAUSURADA DE UNA FÃ“RMULA 2.6. EL PROBLEMA DE LA IMPLICACIÃ“N SEMÃNTICA 3. LENGUAJES DE PRIMER ORDEN 3.1. SINTAXIS DEL LENGUAJE 3.2. SEMÃNTICA DE UN LENGUAJE DE PRIMER ORDEN 3.3. IMPLICACION SEMÃNTICA 3.4. EQUIVALENCIA LÃ“GICA 3.5. ALGUNAS EQUIVALENCIAS LOGICAS 3.6. FORMAS NORMALES 4. UNIFICACIÃ“N Y RESOLUCIÃ“N 4.1. UNIFICACIÃ“N 4.2. RESOLUCIÃ“N 4.3. ESTRATEGIAS DE GESTIÃ“N 5. INDUCCION Y RECURRENCIA 5.1. INDUCCIÃ“N Y DEDUCCIÃ“N 5.2. NÃšMEROS NATURALES. PRINCIPIO DE INDUCCIÃ“N 5.3. RECURRENCIA 6. INTRODUCCIÃ“N A LA TEORÃA DE GRAFOS 6.1. GENERALIDADES SOBRE GRAFOS 6.2. REPRESENTACIÃ“N MATRICIAL DE GRAFOS 6.3. ISOMORFISMO DE GRAFOS 6.4. ALGUNAS FAMILIAS DE GRAFOS 6.5. SUCESIONES GRÃFICAS 6.6. GRAFOS DE EULER 6.7. GRAFOS DE HAMILTON 6.8. GRAFOS BIPARTIDOS 6.9. GRAFOS PLANOS 6.10. COLORACIÃ“N DE GRAFOS 6.11. ÃRBOLES 6.11.1. CARACTERIZACION DE ÃRBOLES 6.11.2. ARBOLES GENERADORES 6.11.3. ÃRBOLES CON RAIZ BIBLIOGRAFÃA

¿Necesitas un libro?