Поиск ведется по:
Общее количество найденных документов : 13
| 1-10 11-13 |
1. Т3(2)7
С302
Атаман Семенов
О себе: Воспоминания, мысли и выводы [Текст] : биогр. (Автобиогр.) / [Авт. Г.М. Семенов]. - москва : АСТ, Гея итэрум, 1999. - 320 с. : ил. - ISBN 5237036007 : 42.32 р.
ГРНТИ 03.29
ББК Т3(2)7-49
Ключевые слова: Гражданская война -- Белое движение -- Семенов Г.М. -- Забайкальское казачье войско -- Казаки -- Политическая эмиграция -- Белая армия -- Атаман Семенов
Доп.точки доступа: Семенов, Г.М. (атаман) ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
С302
Атаман Семенов
О себе: Воспоминания, мысли и выводы [Текст] : биогр. (Автобиогр.) / [Авт. Г.М. Семенов]. - москва : АСТ, Гея итэрум, 1999. - 320 с. : ил. - ISBN 5237036007 : 42.32 р.
ГРНТИ 03.29
ББК Т3(2)7-49
Ключевые слова: Гражданская война -- Белое движение -- Семенов Г.М. -- Забайкальское казачье войско -- Казаки -- Политическая эмиграция -- Белая армия -- Атаман Семенов
Доп.точки доступа: Семенов, Г.М. (атаман) ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
2. 004
И889
Исследование проблем организационного управления в вузе и разработка методов их решений с использованием онтологий. Адаптивная нечеткая модель оценивания результатов автоматизированного тестирования : отчет о НИР (промежуточ.) / Рук. Л.В. Найханова; ВСГТУ. - Улан-Удэ, 2007 - . - 136 с. : ил
ГРНТИ 50
28.17.19
УДК:004.8519.816
Рубрики: Информационные технологии--Автоматизированное тестирование--Отчеты о НИР --- Математическое моделирование ---Ключевые слова: системы контроля знаний -- автоматизированное тестирование -- системы нечетких продукций -- ядро продукции -- продукционные правила -- нечеткие логические выводы -- формализация вопросно-ответных отношений -- нечеткие регуляторы -- словари терминов -- отчеты о НИР
Доп.точки доступа: Найханова, Л.В. \рук. работы.\ --- ВСГТУ
Экземпляры всего: 1
Mесто хранения: зал ППС (1)
Свободны: зал ППС (1)
Найти похожие
И889
Исследование проблем организационного управления в вузе и разработка методов их решений с использованием онтологий. Адаптивная нечеткая модель оценивания результатов автоматизированного тестирования : отчет о НИР (промежуточ.) / Рук. Л.В. Найханова; ВСГТУ. - Улан-Удэ, 2007 - . - 136 с. : ил
ГРНТИ 50
28.17.19
УДК:004.8519.816
Рубрики: Информационные технологии--Автоматизированное тестирование--Отчеты о НИР --- Математическое моделирование ---
Доп.точки доступа: Найханова, Л.В. \рук. работы.\ --- ВСГТУ
Экземпляры всего: 1
Mесто хранения: зал ППС (1)
Свободны: зал ППС (1)
Найти похожие
3. Ю4
К431
Кириллов, Вячеслав Иванович.
Логика : учебник [для вузов] / В. И. Кириллов, А. А. Старченко ; Московская гос. юрид. акад. им. О.Е. Кутафина. - 6-е изд., перераб. и доп. - М. : Проспект, 2010. - 233 с. - ISBN 978-5-392-01039-4 : 248 р.
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: логика -- понятие -- логические операции с понятиями -- простые суждения -- сложные суждения -- модальность суждений -- дедуктивные умозаключения -- выводы из простых суждений -- выводы из сложных суждений -- дедуктивные умозаключения -- умозаключения по аналогии -- аргументация -- логика вопросов -- логика ответов -- гипотезы -- учебники
Доп.точки доступа: Старченко, Анатолий Александрович --- Московская гос. юрид. акад. им. О.Е. Кутафина
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
К431
Кириллов, Вячеслав Иванович.
Логика : учебник [для вузов] / В. И. Кириллов, А. А. Старченко ; Московская гос. юрид. акад. им. О.Е. Кутафина. - 6-е изд., перераб. и доп. - М. : Проспект, 2010. - 233 с. - ISBN 978-5-392-01039-4 : 248 р.
ГРНТИ 02.21
ББК Ю4я73
Ключевые слова: логика -- понятие -- логические операции с понятиями -- простые суждения -- сложные суждения -- модальность суждений -- дедуктивные умозаключения -- выводы из простых суждений -- выводы из сложных суждений -- дедуктивные умозаключения -- умозаключения по аналогии -- аргументация -- логика вопросов -- логика ответов -- гипотезы -- учебники
Доп.точки доступа: Старченко, Анатолий Александрович --- Московская гос. юрид. акад. им. О.Е. Кутафина
Экземпляры всего: 1
Mесто хранения: чз (1)
Свободны: чз (1)
Найти похожие
4. 6П2.151
О-509
Окна выводов энергии электронных СВЧ приборов [Текст] : (патенты Великобритании, США, Франции и ФРГ) / Л. Ф. Тесленко [и др.]. - М. : ЦНИИ "Электроника", 1980. - 97 с. : ил. - (Обзоры по электронной технике. Сер. 1, Электроника СВЧ ; Вып. 10(729)). - 1.10 р.
ГРНТИ 47.33
УДК:621.385.6
Ключевые слова: СВЧ приборы -- окна выводов энергии -- выводы энергии -- обзоры
Доп.точки доступа: Тесленко, Лариса Федоровна --- Иванова, Алевтина Викторовна --- Светликина, Ирина Алексеевна --- Лебединская, Алла Дмитриевна ---
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
О-509
Окна выводов энергии электронных СВЧ приборов [Текст] : (патенты Великобритании, США, Франции и ФРГ) / Л. Ф. Тесленко [и др.]. - М. : ЦНИИ "Электроника", 1980. - 97 с. : ил. - (Обзоры по электронной технике. Сер. 1, Электроника СВЧ ; Вып. 10(729)). - 1.10 р.
ГРНТИ 47.33
УДК:621.385.6
Ключевые слова: СВЧ приборы -- окна выводов энергии -- выводы энергии -- обзоры
Доп.точки доступа: Тесленко, Лариса Федоровна --- Иванова, Алевтина Викторовна --- Светликина, Ирина Алексеевна --- Лебединская, Алла Дмитриевна ---
Экземпляры всего: 1
Mесто хранения: аб (1)
Свободны: аб (1)
Найти похожие
5. 6П5.7
И889
Исследовательские и экспериментально-конструкторские работы по созданию осевых опор с повышенными эксплуатационными качествами. Этап 0659-76-26-03 Д. Стендовые испытания. Анализ результатов испытаний. Выводы и предложения по созданию опор : (Заключительный отчет): Копии отчета о НИР / ВНТИЦ. - М., 1979. - 53 с. : ил. - № ГР 76083792. - Инв.№ Б627038
ГРНТИ 55.03
УДК:621.88
РУБ 6П5.312---Ключевые слова: осевые опоры -- исследования осевых опор -- упорные подшипники скольжения -- копии отчетов о НИР
Доп.точки доступа: ВНТИЦ
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
И889
Исследовательские и экспериментально-конструкторские работы по созданию осевых опор с повышенными эксплуатационными качествами. Этап 0659-76-26-03 Д. Стендовые испытания. Анализ результатов испытаний. Выводы и предложения по созданию опор : (Заключительный отчет): Копии отчета о НИР / ВНТИЦ. - М., 1979. - 53 с. : ил. - № ГР 76083792. - Инв.№ Б627038
ГРНТИ 55.03
УДК:621.88
РУБ 6П5.312---Ключевые слова: осевые опоры -- исследования осевых опор -- упорные подшипники скольжения -- копии отчетов о НИР
Доп.точки доступа: ВНТИЦ
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
6. 16
Л694
Логический вывод [Текст] : [Сборник статей] / Ин-т философии АН СССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1979. - 311 с. : ил. ; 22 см. - Библиогр. в конце ст. - 4900 экз.. - (в пер.) : 1.90 р.
ГРНТИ 02.21.41
ББК Ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Смирнов, Владимир Александрович \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Л694
Логический вывод [Текст] : [Сборник статей] / Ин-т философии АН СССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1979. - 311 с. : ил. ; 22 см. - Библиогр. в конце ст. - 4900 экз.. - (в пер.) : 1.90 р.
ГРНТИ 02.21.41
ББК Ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Смирнов, Владимир Александрович \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
7. 16
Т338
Теория логического вывода [Текст] : сборник статей / Ин-т философии АН СССР ; Отв. ред. П. В. Таванец. - Москва : Наука, 1973. - 272 с. - Б. ц.
ГРНТИ 02.21
ББК ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Таванец, П. В. \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Т338
Теория логического вывода [Текст] : сборник статей / Ин-т философии АН СССР ; Отв. ред. П. В. Таванец. - Москва : Наука, 1973. - 272 с. - Б. ц.
ГРНТИ 02.21
ББК ю4
Ключевые слова: логические выводы -- сборники статей
Доп.точки доступа: Таванец, П. В. \ред.\ --- Академия наук СССР. Институт философии
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
8. 658
Е421
Ездаков, Андрей Леонидович.
Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. - ISBN 978-5-8199-0398-8 (в пер.) : 200.00 р.
Допущено УМО
ГРНТИ 50.51
81.14.15
УДК:658.512.011.56(075.8)
Ключевые слова: экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия
Экземпляры всего: 5
Mесто хранения: аб (2), чз (3)
Свободны: аб (2), чз (3)
Найти похожие
Е421
Ездаков, Андрей Леонидович.
Экспертные системы САПР : Учебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника" / А. Л. Ездаков. - Москва : Форум, 2013. - 159, [1] с. : рис., табл. ; 22 см. - (Высшее образование). - Библиогр.: с. 146 (9 назв.). - 1000 экз.. - ISBN 978-5-8199-0398-8 (в пер.) : 200.00 р.
Допущено УМО
ГРНТИ 50.51
81.14.15
УДК:658.512.011.56(075.8)
Ключевые слова: экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия
Экземпляры всего: 5
Mесто хранения: аб (2), чз (3)
Свободны: аб (2), чз (3)
Найти похожие
9. 517.8
П353
Питмен, Э.
Основы теории статистических выводов / Э. Питмен ; пер. с англ. А. Н. Маховой, М. В. Хатунцевой ; под ред. А. Н. Ширяева. - Москва : Мир, 1986. - 140 с. : ил. - Б. ц.
ГРНТИ 27.43.17
УДК:518.22
Ключевые слова: теория статистических выводов
Доп.точки доступа: Махова, А. Н. \пер.\ --- Хатунцева, М. В. \пер.\ --- Ширяев, А. Н. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
П353
Питмен, Э.
Основы теории статистических выводов / Э. Питмен ; пер. с англ. А. Н. Маховой, М. В. Хатунцевой ; под ред. А. Н. Ширяева. - Москва : Мир, 1986. - 140 с. : ил. - Б. ц.
ГРНТИ 27.43.17
УДК:518.22
Ключевые слова: теория статистических выводов
Доп.точки доступа: Махова, А. Н. \пер.\ --- Хатунцева, М. В. \пер.\ --- Ширяев, А. Н. \ред.\ ---
Экземпляры всего: 2
Mесто хранения: кх (2)
Свободны: кх (2)
Найти похожие
10. 517.8
Х412
Хеттманспергер, Томас П.
Статистические выводы, основанные на рангах / Т. П. Хеттманспергер ; пер. с англ. Д. С. Шмерлинга. - Москва : Финансы и статистика, 1987. - 333, [1] с. : граф. ; 20. - (Математико-статистические методы за рубежом). - Библиогр.: с. 315-332. - Пер. изд. : Statistical inference based on ranks / Thomas P. Hettmansperger. - New York. - 5000 экз.. - (в пер.) : 3.70 р.
ГРНТИ 27.43.17
УДК:519.22
Ключевые слова: статистические выводы
Доп.точки доступа: Шмерлинг, Д. С. \пер.\ --- Hettmansperger, Thomas P.
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Х412
Хеттманспергер, Томас П.
Статистические выводы, основанные на рангах / Т. П. Хеттманспергер ; пер. с англ. Д. С. Шмерлинга. - Москва : Финансы и статистика, 1987. - 333, [1] с. : граф. ; 20. - (Математико-статистические методы за рубежом). - Библиогр.: с. 315-332. - Пер. изд. : Statistical inference based on ranks / Thomas P. Hettmansperger. - New York. - 5000 экз.. - (в пер.) : 3.70 р.
ГРНТИ 27.43.17
УДК:519.22
Ключевые слова: статистические выводы
Доп.точки доступа: Шмерлинг, Д. С. \пер.\ --- Hettmansperger, Thomas P.
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие