RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
 
Замов Наиль Калимович

В базах данных Math-Net.Ru
Публикаций: 15
Научных статей: 14

Статистика просмотров:
Эта страница:1028
Страницы публикаций:1904
Полные тексты:752
Замов Наиль Калимович
профессор
доктор физико-математических наук
Специальность ВАК: 05.13.16 (применение вычислительной техники, математического моделирования и математических методов в научных исследованиях)
E-mail:
Сайт: http://www.ksu.ru/persons/0002.ru.html

Основные темы научной работы

Область математической логики, логического программирования.


http://www.mathnet.ru/rus/person32811
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/247718

Публикации в базе данных Math-Net.Ru
1989
1. Н. К. Замов, “Модальные резолюции”, Изв. вузов. Матем., 1989, 9,  22–29  mathnet  mathscinet  zmath; N. K. Zamov, “Modal resolutions”, Soviet Math. (Iz. VUZ), 33:9 (1989), 23–29
1987
2. Н. К. Замов, “Метод резолюций без скулемизации”, Докл. АН СССР, 293:5 (1987),  1046–1049  mathnet  mathscinet  zmath
1984
3. Н. К. Замов, Р. К. Самитов, П. В. Пшеничный, “Система программирования контролирующих курсов”, Исслед. по прикл. матем., 12 (1984),  3–10  mathnet; N. K. Zamov, R. K. Samitov, P. V. Pshenichnyi, “A programming system for monitoring courses”, J. Soviet Math., 45:2 (1989), 991–996
1981
4. Н. К. Замов, Н. И. Звягина, Р. К. Самитов, “О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы”, Исслед. по прикл. матем., 9 (1981),  106–111  mathnet; N. K. Zamov, N. I. Zvyagina, R. K. Samitov, ““Assembler Language Macro Tools for the ES Computer”: Course design for a computer-aided instruction system”, J. Soviet Math., 46:6 (1989), 2243–2247
1980
5. Н. К. Замов, В. Ф. Зискин, П. В. Пшеничный, “Обеспечение работы автора в автоматизированной обучающей системе Гамма”, Исслед. по прикл. матем., 8 (1980),  99–104  mathnet  mathscinet; N. K. Zamov, V. F. Ziskin, P. V. Pshenichnyi, “Author access to the computer-aided instruction system GAMMA”, J. Soviet Math., 44:1 (1989), 68–72
6. Н. К. Замов, Н. И. Звягина, Р. К. Самитов, “Принципы построения автоматизированной обучающей системы Гамма”, Исслед. по прикл. матем., 8 (1980),  85–88  mathnet  mathscinet; N. K. Zamov, N. I. Zvyagina, R. K. Samitov, “Design principles of the computer-aided instruction system GAMMA”, J. Soviet Math., 44:1 (1989), 57–60
1977
7. Н. К. Замов, В. И. Шаронов, “Разрешающие тактики поиска вывода в методе резолюций”, Исслед. по прикл. матем., 4 (1977),  31–34  mathnet  mathscinet  zmath; N. K. Zamov, V. I. Sharonov, “Decision tactics for derivation search in the resolution method”, J. Soviet Math., 39:5 (1987), 2969–2971
1973
8. Н. К. Замов, В. И. Шаронов, “Применение изо грамм в поиске вывода”, Исслед. по прикл. матем., 1 (1973),  94–102  mathnet  mathscinet  zmath; N. K. Zamov, V. I. Sharonov, “Application of isograms in the search for inference”, J. Soviet Math., 40:6 (1988), 765–772
1972
9. Н. К. Замов, “Об ограничении сложности термов в методе резолюций”, Тр. МИАН СССР, 121 (1972),  5–13  mathnet  mathscinet  zmath; N. K. Zamov, “The restriction of the complexity of terms in the resolution method”, Proc. Steklov Inst. Math., 121 (1972), 1–10
1970
10. Н. К. Замов, В. И. Шаронов, “Об усилениях формул исчисления предикатов”, Учен. зап. Казан. ун-та., 130:3 (1970),  54–59  mathnet  mathscinet  zmath
1969
11. Н. К. Замов, В. И. Шаронов, “Об усилениях формул, доказуемых в исчислении высказываний”, Учен. зап. Казан. ун-та., 129:4 (1969),  21–31  mathnet  mathscinet  zmath
12. Н. К. Замов, В. И. Шаронов, “Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций”, Зап. научн. сем. ЛОМИ, 16 (1969),  54–64  mathnet  mathscinet  zmath
1968
13. Н. К. Замов, В. И. Шаронов, “Один алгоритм поиска вывода в клеточном исчислении”, Учен. зап. Казан. ун-та., 128:2 (1968),  71–75  mathnet  mathscinet  zmath
14. Н. К. Замов, В. И. Шаронов, “Один алгоритм нахождения полного усиления секвенций в исчислении высказываний”, Учен. зап. Казан. ун-та., 128:2 (1968),  67–70  mathnet  mathscinet  zmath

1996
15. Я. И. Заботин, Н. К. Замов, Л. А. Аксентьев, Т. Н. Земцева, “Альберт Валентинович Сульдин (некролог)”, Изв. вузов. Матем., 1996, 2,  84  mathnet

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2020