Automata, formal languages abstract switching, and computability in a Ph.D. computer science program

1968 ◽  
Vol 11 (11) ◽  
pp. 738-740 ◽  
Author(s):  
Robert McNaughton
Author(s):  
Sandra Katz ◽  
David Allbritton ◽  
John Aronis ◽  
Christine Wilson ◽  
Mary Lou Soffa

Author(s):  
Marcos Levano

The following chapter shows the development of a learning methodology used to validate self-directed learning generic competences and knowledge management in a competence-based model in the engineering computer science program of the Universidad Católica Temuco (UCT). The design of the methodology shows the steps and activities of the learning-by-doing process, as shown gradually in the learning results of the competence. The designed methodological process allows creating working schemes for theory-based teaching and learning, and also for practicing and experimenting. The problematology as controlled scenarios is integrated in order to answer problems in engineering, allowing the process of validation in the self-learning and knowledge management competences. Thus, the achievements in the results have allowed helping the teachers to use their learning instruments.


Sign in / Sign up

Export Citation Format

Share Document