Наиль Замов
Наиль Замов
КФУ,Институт Вычислительной математики и информационных технологий, кафедра системного анализа и информационных технологий
Нет подтвержденного адреса электронной почты - Главная страница
НазваниеПроцитированоГод
Задачи по дискретной математике для контрольных и самостоятельных работ Булевы функции: учебный практикум
АВ Васильев, ПВ Пшеничный, НК Замов
12012
Об ограничении сложности термов в методе резолюций
НК Замов
Труды Математического института имени ВА Стеклова 121 (0), 5-13, 1972
11972
Один алгоритм поиска вывода в клеточном исчислении
НК Замов, ВИ Шаронов
Ученые записки Казанского университета. Серия Физико-математические науки …, 1968
11968
Один алгоритм нахождения полного усиления секвенций в исчислении высказываний
НК Замов, ВИ Шаронов
Ученые записки Казанского университета. Серия Физико-математические науки …, 1968
11968
Альберт Валентинович Сульдин (некролог)
ЯИ Заботин, НК Замов, ЛА Аксентьев, ТН Земцева
Известия высших учебных заведений. Математика, 84-84, 1996
1996
Исследования по прикладной математике и информатике
БА Щербаков
Штиинца, 1990
1990
Модальные резолюции
НК Замов
Известия высших учебных заведений. Математика, 22-29, 1989
1989
Об одной модификации талтики с упорядочиванием в методе резолюций
НК Замов
Issledovanija po prikladnoj matematike 3 (6), 68-74, 1988
1988
МОДИФИКАЦИЯ МЕТОДА РЕЗОЛЮЦИЙ ДЛЯ НЕСШЕМ ИЗИРОВАННЫХ ФОРМУЛ
НК Замов
IV Всесоюзная конференция Применение методов математической логики, 72, 1986
1986
Система программирования контролирующих курсов
НК Замов, РК Самитов, ПВ Пшеничный
Исследования по прикладной математике и информатике 12 (0), 3-10, 1984
1984
О принципах построения учебного курса «Макросредства языка Ассемблера ЕС ЭВМ» для автоматизированной обучающей системы
НК Замов, НИ Звягина, РК Самитов
Исследования по прикладной математике и информатике 9 (0), 106-111, 1981
1981
ОБЕСПЕЧЕНИЕ РАБОТЫ АВТОРА В АВТОМАТИЗИРОВАННОЙ ОБУЧАЮЩЕЙ СИСТЕМЕ ГАММА 1. Введение Как уже отмечалось в| 1], одной из основных категорий пользователей АОС Гамма являются …
НК Замов, ВФ Зискин, ПВ Пшеничный
Исследования по прикладнои математике 8, 1980
1980
Обеспечение работы автора в автоматизированной обучающей системе Гамма
НК Замов, ВФ Зискин, ПВ Пшеничный
Исследования по прикладной математике и информатике 8 (0), 99-104, 1980
1980
Принципы построения автоматизированной обучающей системы Гамма
НК Замов, НИ Звягина, РК Самитов
Исследования по прикладной математике и информатике 8 (0), 85-88, 1980
1980
Разрешающие тактики поиска вывода в методе резолюций
НК Замов, ВИ Шаронов
Исследования по прикладной математике и информатике 4 (0), 31-34, 1977
1977
Ограничение сложности термов в выходах и разрешимые фрагменты исчисления предикатов
НК Замов
Issledovanija po prikladnoj matematike 2, 56-62, 1974
1974
Применение изо грамм в поиске вывода
НК Замов, ВИ Шаронов
Исследования по прикладной математике и информатике 1 (0), 94-102, 1973
1973
Об усилениях формул исчисления предикатов
НК Замов, ВИ Шаронов
Ученые записки Казанского университета. Серия Физико-математические науки …, 1970
1970
Об усилениях формул, доказуемых в исчислении высказываний
НК Замов, ВИ Шаронов
Ученые записки Казанского университета. Серия Физико-математические науки …, 1969
1969
Об одном классе стратегий, применяемых при установлении доказуемости методом резолюций
НК Замов, ВИ Шаронов
Записки научных семинаров ПОМИ 16 (0), 54-64, 1969
1969
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–20