Computer Science, Logic, Informatics Education
Дата
Авторы
Varga,Katalin
Várterész,Magda
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
Our aim is to discuss what, when and, how deep logic should be taught in the computer science education in connection with the so called Bologna process. We survey the spread of logic in the computer science education. We draw special attention to the process resulting by 1987 in a comprehensive school in the international logic research called Computer Science Logic. It includes the investigation of research problems arising among others on such fields as programming theory, data- and knowledge base theory and, artificial intelligence as well. New directions have emerged during the problem solving, the earlier disciplines of classical logic like lambda calculus, type theory, model theory, modal logic, temporal logic has come back into the main scope. The results of these researches have a great impact on the development of computer science. The research results and the ever increasing role of logic should be obviously reflected by the education. We explain our conception concerning this issue as well.
Ключевые слова
computer science , logic , education