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

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

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

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

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


http://www.mathnet.ru/rus/person32811
Список публикаций на Google Scholar
Список публикаций на ZentralBlatt
http://www.ams.org/mathscinet/search/author.html?return=viewitems&mrauthid=247718

Публикации в базе данных Math-Net.Ru
1. Модальные резолюции
Н. К. Замов
Изв. вузов. Матем., 1989, № 9,  22–29
2. Система программирования контролирующих курсов
Н. К. Замов, Р. К. Самитов, П. В. Пшеничный
Исслед. по прикл. матем., 12 (1984),  3–10
3. О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы
Н. К. Замов, Н. И. Звягина, Р. К. Самитов
Исслед. по прикл. матем., 9 (1981),  106–111
4. Обеспечение работы автора в автоматизированной обучающей системе Гамма
Н. К. Замов, В. Ф. Зискин, П. В. Пшеничный
Исслед. по прикл. матем., 8 (1980),  99–104
5. Принципы построения автоматизированной обучающей системы Гамма
Н. К. Замов, Н. И. Звягина, Р. К. Самитов
Исслед. по прикл. матем., 8 (1980),  85–88
6. Разрешающие тактики поиска вывода в методе резолюций
Н. К. Замов, В. И. Шаронов
Исслед. по прикл. матем., 4 (1977),  31–34
7. Применение изо грамм в поиске вывода
Н. К. Замов, В. И. Шаронов
Исслед. по прикл. матем., 1 (1973),  94–102
8. Об ограничении сложности термов в методе резолюций
Н. К. Замов
Тр. МИАН СССР, 121 (1972),  5–13
9. Об усилениях формул исчисления предикатов
Н. К. Замов, В. И. Шаронов
Учен. зап. Казан. ун-та., 130:3 (1970),  54–59
10. Об усилениях формул, доказуемых в исчислении высказываний
Н. К. Замов, В. И. Шаронов
Учен. зап. Казан. ун-та., 129:4 (1969),  21–31
11. Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
Н. К. Замов, В. И. Шаронов
Зап. научн. сем. ЛОМИ, 16 (1969),  54–64
12. Один алгоритм поиска вывода в клеточном исчислении
Н. К. Замов, В. И. Шаронов
Учен. зап. Казан. ун-та., 128:2 (1968),  71–75
13. Один алгоритм нахождения полного усиления секвенций в исчислении высказываний
Н. К. Замов, В. И. Шаронов
Учен. зап. Казан. ун-та., 128:2 (1968),  67–70

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

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