Computer Science, Logic, Informatics Education

Простая страница элемента
dc.creatorVarga,Katalin
dc.creatorVárterész,Magda
dc.date2006
dc.date.accessioned2024-02-06T12:54:45Z
dc.date.available2024-02-06T12:54:45Z
dc.descriptionOur 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.
dc.formattext/html
dc.identifierhttps://doi.org/10.3217/jucs-012-09-1405
dc.identifierhttps://lib.jucs.org/article/28687/
dc.identifier.urihttps://openrepository.mephi.ru/handle/123456789/9142
dc.languageen
dc.publisherJournal of Universal Computer Science
dc.relationinfo:eu-repo/semantics/altIdentifier/eissn/0948-6968
dc.relationinfo:eu-repo/semantics/altIdentifier/pissn/0948-695X
dc.rightsinfo:eu-repo/semantics/openAccess
dc.rightsJ.UCS License
dc.sourceJUCS - Journal of Universal Computer Science 12(9): 1405-1410
dc.subjectcomputer science
dc.subjectlogic
dc.subjecteducation
dc.titleComputer Science, Logic, Informatics Education
dc.typeResearch Article
Файлы
Коллекции
Публикации в журналах НИЯУ МИФИ