Computer Science, Logic, Informatics Education

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.