Библиотека института биофизики СО РАН

Главная

Базы данных

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН - результаты поиска

Вид поиска

Каталог книг и продолжающихся изданий библиотеки Института биофизики СО РАН

Иностранные журналы библиотеки Института биофизики СО РАН

Отечественные журналы библиотеки Института биофизики СО РАН

Каталог диссертаций ИБФ СО РАН

Труды сотрудников ИБФ СО РАН

Область поиска

Найдено в других БД:

Труды сотрудников ИБФ СО РАН (2)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=ПРОВЕРКА<.>)

Общее количество найденных документов : 10
Показаны документы с 1 по 10

   З973
   Л 69
З97 / Л 69-ИБФ-КФ


    Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] : монография / Н. А. Алешина, А. М. Анисов, П. И. Быстров и др ; АН СССР. - М. : Наука, 1990. - 239 с. : рис. - (Кибернетика - неограниченные возможности и возможные ограничения). - Библиогр.: с. 231 - 235 (52 назв.). - ISBN 5-02-007156-0 : 0.65 р.
    Содержание:
Классическая первопорядковая логика
Логика в программировании
О доказательствах правильности программ
Поиск доказательств
Приложение логики к проблемам искусственного интеллекта

ГРНТИ

50.33

ББК З973.205
Рубрики:
Программирование--Логика--Экспертные системы--Искусственный интеллект
Аннотация: Логика является одним из важнейших источников информатики и вычислительной техники. Впервые в отечественной литературе для широкого круга читателей детально анализируются логические предпосылки информатики, показывается ключевая роль логики в программировании, в разработке экспертных систем, в исследовании искусственного интеллекта, во внедрении современных информационных технологий. Для читателей, интересующихся перспективами современной компьютерной технологией, в особенности для тех, кто изучает и преподает информатику

Доп.точки доступа:
Алешина, Наталья Альбертовна; Анисов, Александр Михайлович; Быстров, Петр Иванович; Герасимова, И. А.; Меськов, В. С.; Непейвода, Н. Н.; Смирнов, В. А.; Стеблецова, В. Н.; Шалак, В. И.; Академия Наук СССР (М.)
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   Х062
   П 68
Х06 / П 68-ИБФ-КФ


    Правовой эксперимент и совершенствование законодательства [Текст] / НИИ советского законодательства ; Ред. В.И.Никитинский, И.С.Самощенко. - Москва : Юридическая литература, 1988. - 304 с. - ISBN 5-7260-0084-6 : 1.70 SUR

ББК Х062
Рубрики:
Советское государство и право
Кл.слова (ненормированные):
государство и право -- проведение эксперимента -- правотворчество -- правотворческий опыт -- судопроизводство -- судоустройство -- экспериментальная проверка -- социальный эксперимент -- правотворческая проблема

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

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

   З-973
   Т 33
З-9 / Т 33-ИБФ-КФ

    Теннант-Смит, Джон.
    Бейсик для статистиков [Текст] : учебное пособие / Дж. Теннант-Смит; пер. с англ. А. А. Савченко, мл.; под ред. А. А. Савченко. - Москва : Мир, 1988. - 207 с. : рис., табл. - Библиогр.: с. 196-197. - Предм. указ.: с. 198-205. - Пер. изд. : BASIC STATISTICS / J. Tennant-Smith. - ISBN 5-03-000725-3 : 1.20 р.

ГРНТИ

50.05.09

ББК З-973
Рубрики:
Вычислительная техника--персональные компьютеры--языки программирования--учебники и пособия
Математика--математическая статистика
Кл.слова (ненормированные):
вычисления -- применение -- случайные величины -- описательная статистика -- выборочный метод -- оценивание -- проверка гипотез -- регрессия -- статистические модели

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Савченко, А. А. \пер.\; Савченко, А. А. \ред.\; Tennant-Smith, J.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   В172
   Б 83
В1 / Б 83-ИБФ-КФ

    Боровков, Александр Алексеевич.
    Математическая статистика. Дополнительные главы [Текст] : учебное пособие для вузов / А.А. Боровков. - Москва : Наука. Главная редакция физико-математической литературы, 1984. - 143 с. - Библиогр.: с. 138-139. -Предм. указ.: с. 143. - 0.25 р.
Приложения: с. 129-134

ГРНТИ	27.43.17
УДК	519.2

ББК В172.я373

Кл.слова (ненормированные):
ВЫБОРКА -- ЗАДАЧИ -- ПРОВЕРКА ГИПОТЕЗ -- ОДНОРОДНОСТЬ -- РЕГРЕССИЯ -- ДИСПЕРСИОННЫЙ АНАЛИЗ -- РАСПОЗНАВАНИЕ -- ОБРАЗОВ -- БАЙЕСОВСКИЕ -- СТРАТЕГИИ -- ИГРЫ

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   В17
   Б 78
В1 / Б 78-ИБФ-КФ

    Анализ временных рядов. Прогноз и управление [Текст] / Дж. Бокс, Г. Дженкинс. - Москва : Мир, 1974 - .
   Вып. 1 / Дж. Бокс, Г. Дженкинс. - Москва : Мир, 1974. - 406 с. - Библиогр.: с. 397-401. -Предм. указ.: с. 402-403. - Пер. изд. : Time series analysis. Forecasting and control / George E. Box, Gwilym M. Jenkins. - 1970. - (в пер.) : 1.72 р.

ГРНТИ	27.43.17
УДК	519.2

ББК В172.8

Кл.слова (ненормированные):
ПРОГНОЗИРОВАНИЕ -- СТОХАСТИЧЕСКИЕ -- ЛИНЕЙНЫЕ -- СТАЦИОНАРНЫЕ -- НЕСТАЦИОНАРНЫЕ -- МОДЕЛИ -- АВТОКОРРЕЛЯЦИОННАЯ -- ФУНКЦИЯ -- СПЕКТР -- ПОСТРОЕНИЕ -- ОЦЕНИВАНИЕ -- ДИАГНОСТИЧЕСКАЯ -- ПРОВЕРКА -- СЕЗОННЫЕ

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Дженкинс, Г.; Box, George E. Jenkins, Gwilym M.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З29
   А 45
З29 / А 45-ИБФ-КФ
З29 / А 45-ИБФ-КФ

    Штерн, Владимир Ильич.
    Монтаж и испытание аппаратуры и проводов вторичных цепей электроустановок [Текст] : научное издание / В. И. Штерн. - Москва : Энергоатомиздат, 1984. - 112 с. : рис., табл. - (Библиотека электромонтера ; вып. 564). - Библиогр.: с. 113. - 0.30 р.
    Содержание:
Электрические схемы вторичных цепей электроустановок
Монтаж панелей, щитов, пультов, приборов и аппаратов
Монтаж проводов вторичных цепей
Монтаж контрольных кабелей
Монтаж вторичных цепей с полупроводниковой и телефонного типа аппаратурой
Проверка и испытания аппаратуры и проводов вторичных цепей электроустановок
Организация работ по монтажу аппаратуры, проводов и кабелей вторичных цепей электроустановок

ГРНТИ	45
УДК	621.31.002.72

ББК З29-5-081

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Красноярск, Академгородок, 50/12
Экземпляры всего: 2
ИБФ-КФ (2)
Свободны: ИБФ-КФ (2)
Найти похожие

   В172
   Б 83
Ф6 / Б 83-ИБФ-КФ

    Боровков, Александр Алексеевич.
    Математическая статистика [Текст] : оценка параметров. Проверка гипотез: учеб. пособие для вузов / А. А. Боровков. - Москва : Наука, 1984. - 472 с. - Библиогр.: с. 462-465. - 1.30 р.

ББК В172.3
Рубрики:
Математика--Математическая статистика
Кл.слова (ненормированные):
выборка -- закон повторного логарифма -- математическая статистика -- матрица Фишера -- метод моментов -- неравенство Рао-Крамера -- основные типы статистик -- оценка Питмена -- пособия для вузов -- распределение Бернулли -- распределение Коши -- распределение Стьюдента -- распределение Фишера -- распределения -- расстояние Хеллингера -- теоремы Гливенко-Кантелли -- теоремы непрерывности -- теория оценок -- теория проверки гипотез -- эмпирические распределения

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   З-973
   Б 18
З-9 / Б 18-ИБФ-КФ

    Байцер, Борис.
    Микроанализ производительности вычислительных систем [Текст] : монография / Б. Байцер ; пер. с англ. под ред. В. В. Мартынюка. - Москва : Радио и связь, 1983. - 360 с. : рис., табл. - Библиогр.: с. 349-356. - 2.00 р.
    Содержание:
Структура, ресурсы и применение ЭВМ
Параметры и меры производительности
Предварительный приближенный анализ производительности
Статистический анализ времени обработки и других ресурсов
Другой подход к рассмотрению блок-схем транзакций и процессов
Границы и возможности аналитических методов
Упрощенный анализ
Прерывания, ПДП и замедление
Внешние устройства, запаздывание и планирование
Теория очередей и смежные вопросы
Анализ циклических систем
Анализ асинхронных систем
Использование статической и динамической памяти
Тестирование и проверка пригодности моделей
Настройка - в шутку и всерьоз

ГРНТИ	50.07.05
УДК	004.7

ББК З-973.22-021.8
Рубрики:
вычислительные системы

Держатели документа:
Библиотека института биофизики СО РАН : 660036, Академгородок, 50/12

Доп.точки доступа:
Мартынюк, В. В. \пер. с англ., под ред.\
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

   В171
   Х 36
В1 / Х 36-ИБФ-КФ

    Хелстром, К.
    Квантовая теория проверки гипотез и оценивания [Текст] : научное издание / К. Хелстром ; пер. с англ. М. В. Бурнашева ; под ред. А. С. Холево. - Москва : Мир, 1979. - 344 с. : ил. - Библиогр.: с. 331-339. - Предм. указ.: с. 340-342. - Пер. изд. : Quantum detection and estimation theory / Carl W. Helstrom. - New York, 1976. - 1.90 р.
    Содержание:
Принятие решений и оценивание
Классическая теория обнаружения и оценивания
Квантовая механика
Проверка квантовых гипотез
Квантовая теория электромагнетизма
Обнаружение когерентного излучения
Обнаружение некогерентного излучения
Квантовая теория оценивания

ГРНТИ	29.05.23
УДК	530.145	519.23

ББК В171

Держатели документа:
Библиотека Института биофизики СО РАН : 660036, Академгородок, 50/12
Доп.точки доступа:
Бурнашев, М. В. \пер.\; Холево, А. С. \ред.\; Helstrom, Carl W.
Экземпляры всего: 1
ИБФ-КФ (1)
Свободны: ИБФ-КФ (1)
Найти похожие

10.

   В17
   С 50
В1 / С 50-ИБФ-КФ

    Смирнов, Николай Васильевич.
    Курс теории вероятностей и математической статистики для технических приложений [Текст] : учебное пособие для вузов / Н. В. Смирнов, И. В. Дунин-Барковский. - 2-е изд., испр. и доп. - Москва : Наука. Главная редакция физико-математической литературы, 1965. - 511 с. : табл., рис. - Библиогр.: с. 501-505. -Предм. указ.: с. 506-511. - 1.10 р.