Сводный каталог НТЛ по Ярославской области - результаты поиска

Базы данных:

Сводный каталог НТЛ по Ярославской области

Электронный каталог выпускных квалификационных работ

Виды поиска:

Поиск в найденном

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

Электронный каталог МУБиНТ, г. Ярославль (7)

"Руконт"-Национальный цифровой ресурс (5)

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

Поисковый запрос: (<.>K=логическое<.>)
Общее количество найденных документов : 47 Показаны документы с 41 по 47

1..20 21..40 41..47

41.

22.1

Биркгофф, Г.
Математика и психология [Текст] / Г. Биркгофф ; пер. с англ. Г. Н. Поварова. - Изд. 2-е, испр. - М. : ЛКИ, 2008. - 107, [1] с. - Библиогр.: с. 103 - 108. - ISBN 978-5-382-00431-0 : 115,00 р.

ББК 22.1
Рубрики: 2.Физико-математические науки.
Кл.слова (ненормированные):
Математика -- Кибернетика -- Мышление - дискретно-логическое -- Дискретная математика -- Языки программирования -- Лингвистика - математическая -- Континуальная математика -- Разум - искусственный -- Аппроксимация -- Континуум -- Психометрика
Аннотация: Книга охватывает широкий круг вопросов на стыке кибернетики, математики и психологии. В ней обсуждаются связи между математикой и психологией и возможности механизации математичекого мышления.

Держатели документа:
ЯрЦБС
Свободных экз. нет
Найти похожие

42.

В181
П58

Попов, С. В.
Логическое моделирование [Текст] / С. В. Попов. - М. : Тровант, 2006. - 256 с. - ISBN 5-89513-049-6 : 70.00 р.

ББК В181
Рубрики: Кибернетика
Кл.слова (ненормированные):
математическая кибернетика -- моделирование -- логическое моделирование -- формальные логические преобразования -- прикладные задачи -- логические методы решения

Держатели документа:
ЯрГУ ЯрГУ/Ф7
Свободных экз. нет
Найти похожие

43.

004.6
Г83

Григорьев, Ю. А.
Банки данных [Текст] : учебник для вузов / Ю.А. Григорьев, Г.И. Ревунков. - М. : МГТУ им. Н.Э. Баумана, 2002. - 320 с. : рис., табл. - (Информатика в техническом университете). - Библиогр.: с.316 . -Предм. указ.: с. 317-318. - ISBN 5-7038-1779-X (в пер.) : 80.24 р.

ГРНТИ	20.23.21
УДК	004.6

Кл.слова (ненормированные):
АРХИТЕКТУРА -- модели -- данных -- ПРОЕКТИРОВАНИЕ -- ЗАЩИТА -- методы -- специальной обработки -- семантические сети -- фреймы -- система -- распределенной обработки -- ДИАГРАММЫ -- потока -- концептуальное -- проектирование -- логическое -- ОПЕРАЦИОННЫЕ -- СИСТЕМЫ -- ПРОИЗВОДИТЕЛЬНОСТЬ

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Ревунков, Г.И.
Свободных экз. нет
Найти похожие

44.

330
Г60

Голдрат, Э. М.
Цель: процесс непрерывного совершенствования [Текст] : пер. с англ. / Э.М. Голдрат, Дж. Кокс. - Минск : Попурри, 2004. - 560 с. : табл. - ISBN 985-483-216-3 (в пер.) : Б. ц.

ГРНТИ	06
УДК	330

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Кокс, Дж.
Свободных экз. нет
Найти похожие

45.

621.74
Н73

Новиков, В. П.
Автоматизация литейного производства [Текст] : учеб. пособие для вузов. Ч.1. Управление литейными процессами / В.П. Новиков. - М. : МГИУ, 2005. - 292 с. : табл., рис. - Библиогр.: с. 287-288. - ISBN 5-276-00701-2. - ISBN 5-276-00702-0 : 177.18 р.

ГРНТИ	55.15
УДК	621.74

Кл.слова (ненормированные):
ДИСКРЕТНАЯ автоматика -- ЭЛЕМЕНТНЫЕ базы -- РЕГУЛИРОВАНИЕ -- ДИНАМИЧЕСКИЕ -- СТАТИСТИЧЕСКИЕ -- ХАРАКТЕРИСТИКИ -- ДАТЧИКИ -- ИЗМЕРИТЕЛЬНЫЕ -- СИСТЕМЫ -- ИЗМЕРЕНИЕ ТЕМПЕРАТУРЫ -- СОСТАВ ГАЗОВ -- УПРАВЛЕНИЕ -- ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ -- АНАЛИЗ -- ФУНКЦИОНАЛЬНЫЕ -- СХЕМЫ -- СТАБИЛИЗИРУЮЩИЕ -- ПРОГРАММНОЕ -- ЛОГИЧЕСКОЕ -- ДОЗИРОВАНИЕ -- РАСПОЗНАВАНИЕ -- ОБРАЗОВ -- ЗАЛИВКА -- МЕТАЛЛА -- ISO 9000 -- СОРТИРОВКА -- ТЕХНИЧЕСКОГО -- ЗРЕНИЯ -- КАЧЕСТВО -- ОТЛИВКИ -- АБРАЗИВНАЯ -- ОБРАБОТКА -- ФОРМОВОЧНая смесь

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

46.

621.01
А64

Анализ и синтез механизмов [Текст] : сборник статей / Ред. Н.И. Левитский. - М. : Машиностроение, 1969. - 312 с. : ил. - (Теория механизмов и машин). - Библиогр. в конце ст. - (в пер.) : 2.18 р.

ГРНТИ	30.15.35
УДК	621.01

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163

Доп.точки доступа:
Левитский, Н.И. \ред.\
Свободных экз. нет
Найти похожие

47.

519.7/8
К89

Кузнецов, В. Е.
Представление в ЭВМ неформальных процедур [Текст] : научное издание / В.Е. Кузнецов. - М. : Наука. Гл.ред. физ.-мат. лит., 1989. - 159 с. : рис., схем, табл. - (Проблемы искусственного интеллекта). - Библиогр.: с. 157-159. - ISBN 5-02-014101-1 : 0.65 р.

ГРНТИ	27.47.23
УДК	519.7/8

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

Держатели документа:
ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163
Свободных экз. нет
Найти похожие

1..20 21..40 41..47