Encontrados 4 documentos, a visualizar página 1 de 1
Integração da disciplina de Sistemas Digitais na plataforma PmatE
Sérgio Barbosa; Alexandre Moreira; Manuel Bernardo Cunha; Augusto SilvaThis article approaches the process of integration of a Digital Systems course in the Mathematical Education Project platform, developed to support computer aided education.The paper describes how the project appeared and its scope,identifies the needed requirements needed before actualcontent production, describes the intrinsic procedures of theorganization, development areas, used technologies and alsosome of...
Ferramentas de suporte ao estudo da Disciplina de Sistemas Digitais: Mapas de K...
Sérgio Barbosa; Manuel Bernardo Cunha; Augusto SilvaThis article intends to reveal a tool for Boolean functions simplification, developed in the scope of the DigitalSystems program, part of the Mathematical EducationProject.The document begins by showing some work examples,describes the technology used in the project, it enunciates and describes (with examples) all the steps of the algorithm and finishes by illustrating graphically the results gathered inlaborat...
Ferramentas de suporte ao estudo da Disciplina de Sistemas Digitais: Carta de I...
Sérgio Barbosa; Manuel Bernardo Cunha; Augusto SilvaThe Implication Chart is an algorithm used to simplify Finite State Machines which is a lectured part of the Digital Systems course, under the Engineering Electronics, Telecommunication and Informatics Department responsibility.The result of all the work presented here is an efficient toolused at the project stage of sequential components and useful in the learning support.Developed for Microsoft platforms, it ...
Recursion patterns and time-analysis
Barbosa, Manuel Bernardo; Cunha, Alcino; Pinto, Jorge SousaThis paper explores some ideas concerning the time-analysis of functional programs defined by instantiating typical recursion patterns such as folds, unfolds, and hylomorphisms. The concepts in this paper are illustrated through a rich set of examples in the Haskell programming language. We concentrate on unfolds and folds (also known as anamorphisms and catamorphisms respectively) of recursively defined types,...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||