Vista normal Vista MARC Vista ISBD

Matemática para la computación /

Jaime Hernández, Lida Marina; Pabón, Schweitzer Rocuts.
Tipo de material: materialTypeLabelLibroSeries: Serie documentosIngeniería de sistemas. Inf. Publicación: Bogotá : Politécnico Grancolombiano, 2005Descripción fisica: 116 p. ; 21 cm.Tema(s): MATEMATICAS PARA INGENIEROS | CALCULO CON AYUDA DE COMPUTADOR | MATEMATICAS CON AYUDA DE COMPUTADOR
Contenidos:
p.1. Cálculo proposicional. -- p.2. Demostraciones formales. -- p.3. Arboles de forzamiento semántico. -- p.4. Cálculo de predicados. -- p.5. Teoría de conjuntos. -- p.6. Cuantificadores generalizados.
    valoración media: 0.0 (0 votos)
Tipo de ítem Biblioteca Localización Signatura topográfica Copia Estado Fecha de vencimiento
Material de Reserva Material de Reserva Biblioteca General Politécnico Gran Colombiano
Sala 3 General 510 J25 (Navegar estantería) 2 Disponible (OK.2014)
General Dia General Dia Biblioteca General Politécnico Gran Colombiano
Sala 3 General 510 J25 (Navegar estantería) 3 Disponible (OK.2014)
General General Biblioteca General Politécnico Gran Colombiano
Sala 3 General 510 J25 (Navegar estantería) 4 Disponible (OK.2014)

p.1. Cálculo proposicional. -- p.2. Demostraciones formales. -- p.3. Arboles de forzamiento semántico. -- p.4. Cálculo de predicados. -- p.5. Teoría de conjuntos. -- p.6. Cuantificadores generalizados.

1

NEW_ADMON, NEW_DERECH, NEW_ECONO, NEW_MATE, NEW_SISTEM

Con tecnología Koha