Научная библиотека ВСГУТУ

   Т3(2)7
   С302

    Атаман Семенов
    О себе: Воспоминания, мысли и выводы [] : биогр. (Автобиогр.) / [Авт. Г.М. Семенов]. - москва : АСТ, Гея итэрум, 1999. - 320 с. : ил. - ISBN 5237036007 : 42.32 р.

ГРНТИ

03.29

ББК Т3(2)7-49
Рубрики: История России--Гражданская война--Белое движение--Забайкалье
Кл.слова (ненормированные):
Гражданская война -- Белое движение -- Семенов Г.М. -- Забайкальское казачье войско -- Казаки -- Политическая эмиграция -- Белая армия -- Атаман Семенов

Доп.точки доступа:
Семенов, Г.М. (атаман)
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   004
   И889

    Исследование проблем организационного управления в вузе и разработка методов их решений с использованием онтологий. Адаптивная нечеткая модель оценивания результатов автоматизированного тестирования : отчет о НИР (промежуточ.) / Рук. Л.В. Найханова; ВСГТУ. - Улан-Удэ, 2007 - . - 136 с. : ил. -

ГРНТИ	50	28.17.19
УДК	004.8	519.816

Рубрики: Информационные технологии--Автоматизированное тестирование--Отчеты о НИР
Математическое моделирование
Кл.слова (ненормированные):
системы контроля знаний -- автоматизированное тестирование -- системы нечетких продукций -- ядро продукции -- продукционные правила -- нечеткие логические выводы -- формализация вопросно-ответных отношений -- нечеткие регуляторы -- словари терминов -- отчеты о НИР

Доп.точки доступа:
Найханова, Л.В. \рук. работы.\; ВСГТУ
Экземпляры всего: 1
зал ППС (1)
Свободны: зал ППС (1)
Найти похожие

   Ю4
   К431

    Кириллов, Вячеслав Иванович.
    Логика : учебник [для вузов] / В. И. Кириллов, А. А. Старченко ; Московская гос. юрид. акад. им. О.Е. Кутафина. - 6-е изд., перераб. и доп. - М. : Проспект, 2010. - 233 с. - ISBN 978-5-392-01039-4 : 248 р.

ГРНТИ

02.21

ББК Ю4я73
Рубрики: Логика--Учебники
Кл.слова (ненормированные):
логика -- понятие -- логические операции с понятиями -- простые суждения -- сложные суждения -- модальность суждений -- дедуктивные умозаключения -- выводы из простых суждений -- выводы из сложных суждений -- дедуктивные умозаключения -- умозаключения по аналогии -- аргументация -- логика вопросов -- логика ответов -- гипотезы -- учебники

Доп.точки доступа:
Старченко, Анатолий Александрович; Московская гос. юрид. акад. им. О.Е. Кутафина
Экземпляры всего: 1
чз (1)
Свободны: чз (1)
Найти похожие

   6П2.151
   О-509


    Окна выводов энергии электронных СВЧ приборов [] : (патенты Великобритании, США, Франции и ФРГ) / Л. Ф. Тесленко [и др.]. - М. : ЦНИИ "Электроника", 1980. - 97 с. : ил. - (Обзоры по электронной технике. Сер. 1, Электроника СВЧ ; Вып. 10(729)). - 1.10 р.

ГРНТИ	47.33
УДК	621.385.6

Рубрики: Электроника--СВЧ техника--Обзоры
Кл.слова (ненормированные):
СВЧ приборы -- окна выводов энергии -- выводы энергии -- обзоры

Доп.точки доступа:
Тесленко, Лариса Федоровна; Иванова, Алевтина Викторовна; Светликина, Ирина Алексеевна; Лебединская, Алла Дмитриевна
Экземпляры всего: 1
аб (1)
Свободны: аб (1)
Найти похожие

   6П5.7
   И889


    Исследовательские и экспериментально-конструкторские работы по созданию осевых опор с повышенными эксплуатационными качествами. Этап 0659-76-26-03 Д. Стендовые испытания. Анализ результатов испытаний. Выводы и предложения по созданию опор : (Заключительный отчет): Копии отчета о НИР / ВНТИЦ. - М., 1979. - 53 с. : ил. - № ГР 76083792. - Инв.№ Б627038

ГРНТИ	55.03
УДК	621.88

РУБ 6П5.312
Рубрики: Детали машин--Осевые опоры--Копии отчетов о НИР
Кл.слова (ненормированные):
осевые опоры -- исследования осевых опор -- упорные подшипники скольжения -- копии отчетов о НИР

Доп.точки доступа:
ВНТИЦ
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   16
   Л694


    Логический вывод [] : [Сборник статей] / Ин-т философии АН СССР ; Отв. ред. В. А. Смирнов. - Москва : Наука, 1979. - 311 с. : ил. ; 22 см. - Библиогр. в конце ст. - 4900 экз.. - (в пер.) : 1.90 р.

ГРНТИ

02.21.41

ББК Ю4
Рубрики: Логика--Выводы--Сборники статей
Кл.слова (ненормированные):
логические выводы -- сборники статей

Доп.точки доступа:
Смирнов, Владимир Александрович \ред.\; Академия наук СССР. Институт философии
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   16
   Т338


    Теория логического вывода [] : сборник статей / Ин-т философии АН СССР ; Отв. ред. П. В. Таванец. - Москва : Наука, 1973. - 272 с. - Б. ц.

ГРНТИ

02.21

ББК ю4
Рубрики: Логика--Выводы--Сборники статей
Кл.слова (ненормированные):
логические выводы -- сборники статей

Доп.точки доступа:
Таванец, П. В. \ред.\; Академия наук СССР. Институт философии
Экземпляры всего: 1
кх (1)
Свободны: кх (1)
Найти похожие

   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)

Рубрики: Системы автоматизированного проектирования--Учебные пособия
Кл.слова (ненормированные):
экспертные системы САПР -- системы автоматизированного проектирования -- искусственный интеллект -- логика предикатов -- механизм вывода методом резолюции -- стратегии управления для методов резолюции -- представление знаний правилами -- логические выводы -- специализированные системы продукции -- системы дедукций -- обратные системы продукции -- стратегии управления для систем дедукции -- сетевые модели представления знаний -- семантические сети -- совокупность фреймов -- дедуктивные выводы на семантических сетях -- способы представления знаний -- экспертные системы "объект - признак" -- экспертные системы -- параллельное высокоуровневое проектирование -- системы распознавания фрагментов цепи -- учебные пособия

Учебная литература:
СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (AutoCad) / 3 / Осн
ЭтФ / СИ / 02.04.03 / Методы анализа формальных понятий / 3 / Доп
ЭтФ / СИ / 02.04.03 / Онтологии и тезаурусы / 3 / Доп
ЭтФ / СИ / 02.04.03 / Семантические сети / 3 / Доп
СФ / ИКГ / 08.03.01 / Системы автоматизированного проектирования (MagicCad) / 4 / Осн
ИПИБ / БМТ ПАПП / 12.03.04 / САПР / 5 / Доп
СФ / ТГВ / 08.03.01 / Системы автоматизированного проектирования СКМ / 6 / Осн
ФЭСТД / СТС / 43.03.03 / Информационные технологии в гостиничном сервисе / 7 / Осн
СФ / СОПР / 09.03.02 / Автоматизированные системы проектирования в строительстве / 8 / Осн
Экземпляры всего: 5
аб (2), чз (3)
Свободны: аб (2), чз (3)
Найти похожие

   517.8
   П353

    Питмен, Э.
    Основы теории статистических выводов / Э. Питмен ; пер. с англ. А. Н. Маховой, М. В. Хатунцевой ; под ред. А. Н. Ширяева. - Москва : Мир, 1986. - 140 с. : ил. - Б. ц.

ГРНТИ	27.43.17
УДК	518.22

Рубрики: Математическая статистика--Статистические выводы
Кл.слова (ненормированные):
теория статистических выводов

Доп.точки доступа:
Махова, А. Н. \пер.\; Хатунцева, М. В. \пер.\; Ширяев, А. Н. \ред.\
Экземпляры всего: 2
кх (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
кх (1)
Свободны: кх (1)
Найти похожие

1-10 11-13

Тематический навигатор

ссылка на мобильную версию электронного каталога

Базы данных

Книги- результаты поиска

Вид поиска