Национальная библиотека Республики Дагестан им. Р. Гамзатова

Главная

Упрощенный режим

Описание

Базы данных

Каталог Национальной Библиотеки Республики Дагестан- результаты поиска

Вид поиска

Каталог Национальной Библиотеки Республики Дагестан

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

в найденном

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

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

Поисковый запрос: <.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>

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

1-10 11-11

Вид документа : Однотомное издание
Шифр издания : 6П2.154/Л 36
Автор(ы) : Левин, Виталий Ильич
Заглавие : Бесконечнозначная логика в задачах кибернетики
Выходные данные : Москва: Радио и связь, 1982
Колич.характеристики :176 с.: ил.; 22 см
Цена : 1.80, р.
УДК : 6П2.154
Предметные рубрики: Кибернетика-- Математические методы
Ключевые слова (''Своб.индексиров.''): математическая логика--кибернетика--непрерывная логика
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154/М 31
Автор(ы) : Маслов, Сергей Юрьевич
Заглавие : Теория дедуктивных систем и ее применение : учебное пособие
Выходные данные : Москва: Радио и связь, 1986
Колич.характеристики :136 с.: рис.; 21см
Серия: Кибернетика
Примечания : Лит.: с. 129-131
Цена : 0.45, р.
УДК : 6П2.154
Предметные рубрики: Кибернетика-- Кибернетические системы
Ключевые слова (''Своб.индексиров.''): дедуктивна система--математическая логика--математична логіка--канонічні обчислення--канонические исчисления--алгоритми--алгоритмы--горизонтальне моделювання--горизонтальное моделирование--принципы моделирования--принципи моделювання--вертикальне моделювання--вертикальное моделирование
Аннотация: Излагается математический аппарат теории исчислений.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154/Н 66
Автор(ы) : Нильсон, Нилс
Заглавие : Искусственный интеллект : методы поиска решений
Выходные данные : Москва.: Мир , 1973
Колич.характеристики :270 с.: ил.; 22см
Цена : 1.17, р.
УДК : 6П2.154
Предметные рубрики: Автоматика-- Искусственный интеллект
Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математическая логика--методы поиска--исчисления предикатов--задачи--представления задач--головоломки
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П2.154/О 75
Автор(ы) : Галушкин А. И., Дегтярев Ю. И., Калинин Б. Н., Костюк Г. А.
Заглавие : Основы кибернетики: учеб. пособие/ под ред. К. А. Пупкова. Математические основы кибернетики
Выходные данные : Москва: Высшая школа, 1974 -
Колич.характеристики :413 с.: рис., табл.; 21.5см
Примечания : Лит.: с. 405-406. - Алф. указ.: с. 407-411
Цена : 0.88, 0.88, р.
УДК : 6П2.154
Предметные рубрики: Кибернетика
Ключевые слова (''Своб.индексиров.''): теорія множин--теорим множеств--теорія графів--теория графов--математична логіка--математическая логика--булеві функції--булевые функции--логіка предикатів--логика предикатов--алгоритми--диференційні рівняння--дифференциальные уравнения--лінійне програмування--линейное программирование--нелінійне програмування--нелинейное программирование--випадкові процеси--случайные процессы--математическая статистика--математична статистика--комбинаторный анализ--комбінаторний аналіз
Аннотация: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П5.7/П 40
Заглавие : Пневматические системы управления станками, прессами и другими машинами : альбом схем
Выходные данные : Москва: НИИМаш, 1971
Колич.характеристики :218 с.: рис.; 30см
Коллективы : Всесоюзный научно-исследовательский и проектно-конструкторский институт промышленных гидроприводов и гидроавтоматики
Цена : 3.15, 3.15, р.
УДК : 62-525 + 621.9-525
Предметные рубрики: Пневматические системы
Ключевые слова (''Своб.индексиров.''): исполнительные механизмы--математическая логика--пневмоавтоматика--металлорежущие станки--прессы--кузнечно-прессовое оборудование--литейные машины--деревообрабатывающее оборудование--подъемно-транспортные машины--программное управление--числовое программное управление
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 6П5.8/Р 89
Автор(ы) : Журавлев, Алексей Иванович, Артюхов, Анатолий Петрович, Заморин, Анатолий Петрович, Марков А. С.
Заглавие : Русско-чешский словарь по вычислительной технике : ок. 30000 терминов и терминологических сочетаний
Параллельн. заглавия :Rusko-cesky slovnik vypocetni techniky
Выходные данные : Москва: Русский язык; Прага: СНТЛ - Изд-во техн. лит., 1988
Колич.характеристики :440 с ; 22см
Примечания : Текст рос., чес.
ISBN (в пер.), Цена 5-200-00385-7: 4.00, 4, р.
Предметные рубрики: Вычислительная техника - Словари
Ключевые слова (''Своб.индексиров.''): русско-чешские словари--термилогические словари--вычислительная техника--вычислительные машины--программирование--математическая логика
Аннотация: Словарь содержит ок. 30000 терминов по разделам: теория вычислительных машин и алгоритмов, языки и программирование, архитектура и принципы работы ЭВМ, операционные системы, математическая логика, передача, телеобработка и базы данных, технология, применение и обслуживание ЭВМ. Предназначен для научных, инженерно-технических работников и переводчиков.
Экземпляры :ТО(1)
Свободны : ТО(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 510/Д 72
Автор(ы) : Драбкина, Мария Ефимовна
Заглавие : Логические упражнения по элементарной математике : учебное пособие для математических факультетов педагогических вузов
Выходные данные : Москва: Высшая школа, 1965
Колич.характеристики :160 с.: с черт.; 20 см
Примечания : Библиография: с. 159
Цена : 0.28, 0.28, р.
Предметные рубрики: Математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--задачи
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51/Л 69
Заглавие : Логическая структура научного знания : сборник статей
Выходные данные : Москва: Наука, 1965
Колич.характеристики :350 с. ; 20см
Коллективы : Академия наук СССР, Институт философии
Примечания : Библиография: с. 349
Цена : 1.29 р.
Предметные рубрики: математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--семиотика--логика научного познания
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 51(075)/М 34
Заглавие : Математика : мидлендский экспериментальный учебник
Выходные данные : Москва: Просвещение, 1971
Колич.характеристики :413 с.: рис., табл.; 22 см
Цена : 1.26 р.
Предметные рубрики: Математика
Ключевые слова (''Своб.индексиров.''): углубленное изучение предметов--экспериментальные учебники--математика в средней школе--векторная алгебра--геометрические преобразования--алгебра матриц--булева алгебра--математическая логика--элементы теории вероятностей
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 40/И 88
Заглавие : Исследования по математической лингвистике, математической логике и информационным языкам : сборник статей
Выходные данные : Москва: Наука, 1972
Колич.характеристики :296 с.: ил.; 21 см
Коллективы : ВИНИТИ
Примечания : Библиография в примечание
Цена : 0.88 р.
Предметные рубрики: языкознание (лингвистика)
Ключевые слова (''Своб.индексиров.''): математическая логика
Содержание : О многозначных логиках, допускающих формализацию анализа антиномий. 1./ Д. А. Бочвар, В. К. Финн.
Экземпляры :КХР(1)
Свободны : КХР(1)
Найти похожие

1-10 11-11

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)