Vista normal Vista MARC Vista ISBD

Frausto Solís, Juan

Fundamentos de lógica computacional / Juan Frausto Solís, Gildardo Sánchez Ante - México : Trillas, 2000. - 110 p. ; tablas ; 24 x 18 cm.

Incluye índice y bibliografía

1. Lógica proposicional -- 2. Lógica de predicados -- 3. Complejidad computacional -- 4. Regla de una literal -- 5. Lógica temporal -- 6. Lógica modal -- 7. Introducción a los métodos formales -- 8. Fundamentos de la lógica de Hoare.

ISBN: 9682461006

Subjects--Topical Terms:
Ciencias computacionales
Lógica matemática

Dewey Class. No.: 004.0151 / F845f