Show simple item record

dc.contributor.authorAlmarza, Miquel Àngelspa
dc.contributor.authorEstrada, Saraspa
dc.date.issued1998spa
dc.identifier.isbn84-393-3826-0spa
dc.identifier.urihttp://hdl.handle.net/11162/19211
dc.description.abstractPrograma para MS-DOS sobre lógica formal. Propone ejercicios sobre nociones básicas del cálculo proposicional: tablas de verdad, connectivas, proposiones tautológicas y contradicciones. Posibilita que el usuario introduzca sus propias fórmulas hasta 4 variables.spa
dc.format.mediumCDspa
dc.language.isocatspa
dc.publisherBarcelona : Generalitat de Catalunya, Programa d'Informàtica Educativa, 1997spa
dc.rightsCuando no se especifique otra condición, los documentos incorporados a Redined a texto completo, se hallan bajo las condiciones de uso de sólo lectura y únicamente podrán ser citados con reconocimiento del autor(es). Para cualquier otro uso, deberá solicitarse el permiso del autor (es)spa
dc.subjectlógica matemáticaspa
dc.subjectcálculospa
dc.subjectmatemáticasspa
dc.titleLòoggiiccaa : un programa de lògica formalcat
dc.typeVariosspa
dc.audienceAlumnadospa
dc.bbddRecursosspa
dc.date.provenance1990-05-01T10:10:10spa
dc.description.paisESPspa
dc.educationLevelEducación Secundariaspa


Files in this item

FilesSizeFormatView

There are no files associated with this item.

    Show simple item record