ДВА ПОДХОДА В ИНФОРМАТИКЕ
Аннотация
Об авторах
А. А. МосквитинРоссия
К. Ф. Самохвалов
Россия
А. Б. Чебоксаров
Россия
Список литературы
1. Москвитин А.А. Задачный подход в информатике. - Новосибирск, НГУ, 2000. -200 с.
2. Казаков К.В., Москвитин А.А., Самохвалов К.Ф. Проект разработки языков спецификации задач, ориентированных на пользователя // Модели когнитивных процессов. - Новосибирск, 1997. - Вып. 158: Вычислительные системы. - С. 63-94.
3. Ершов Ершова Ю.Л. Динамическая логика над допустимыми множествами. ДАН СССР, 1983. Т. 273 N 5. С. 1045-1048.
4. Kolmogoroff A. Zur Deutung der intuitionistischen Logic. - Heiting, Die formalin Regelen der intuitionistischen Logik, Sitzel. Pens. Anad. (1930), I, S. 42: II. S. 57; III.S.158.
Рецензия
Для цитирования:
Москвитин А.А., Самохвалов К.Ф., Чебоксаров А.Б. ДВА ПОДХОДА В ИНФОРМАТИКЕ. Современная наука и инновации. 2019;(4):261-275.
For citation:
Moskvitin A.A., Samokhvalov K.F., Cheboksarov A.B. TWO APPROACHES IN COMPUTER SCIENCE. Modern Science and Innovations. 2019;(4):261-275. (In Russ.)