Поисковый запрос: <.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.> |
Общее количество найденных документов : 11
Показаны документы с 1 по 10 |
|
>1. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 510/Д 72
Автор(ы) : Драбкина, Мария Ефимовна
Заглавие : Логические упражнения по элементарной математике
: учебное пособие для математических факультетов педагогических вузов
Выходные данные : Москва: Высшая школа, 1965 Колич.характеристики :160 с.:
с черт.; 20 см
Примечания : Библиография: с. 159
Цена : 0.28, 0.28, р.
Предметные рубрики: Математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--задачи
Экземпляры :КХР(1) Свободны : КХР(1) Найти похожие
|
>2. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 517.8/Е 80
Автор(ы) : Ершов, Андрей Петрович
Заглавие : Введение в теоретическое программирование. Беседы о методе
: учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика"
Выходные данные : Москва: Наука, 1977 Колич.характеристики :288 с.:
рис.; 23 см
Цена : 00.80 р.
Предметные рубрики: Математика-- Вычислительная математика-- Учебники и пособия Ключевые слова (''Своб.индексиров.''): программирование--линейные программы--математика--алгоритмизация--информационные графы--структурированное программирование--распределение--математическая логика--алгебра--схемы янова--преобразования--учебные пособия
Экземпляры :КХР(1) Свободны : КХР(1) Найти похожие
|
>3. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 40/И 88
Заглавие : Исследования по математической лингвистике, математической логике и информационным языкам
: сборник статей
Выходные данные : Москва: Наука, 1972 Колич.характеристики :296 с.:
ил.; 21 см
Коллективы :
ВИНИТИ
Примечания : Библиография в примечание
Цена : 0.88 р.
Предметные рубрики: языкознание (лингвистика) Ключевые слова (''Своб.индексиров.''): математическая логика Содержание : О многозначных логиках, допускающих формализацию анализа антиномий. 1./ Д. А. Бочвар, В. К. Финн.
Экземпляры :КХР(1) Свободны : КХР(1) Найти похожие
|
>4. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 6П2.154/Л 36
Автор(ы) : Левин, Виталий Ильич
Заглавие : Бесконечнозначная логика в задачах кибернетики
Выходные данные : Москва: Радио и связь, 1982 Колич.характеристики :176 с.:
ил.; 22 см
Цена : 1.80, р.
УДК : 6П2.154 Предметные рубрики: Кибернетика-- Математические методы Ключевые слова (''Своб.индексиров.''): математическая логика--кибернетика--непрерывная логика
Экземпляры :ТО(1) Свободны : ТО(1) Найти похожие
|
>5. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 51/Л 69
Заглавие : Логическая структура научного знания
: сборник статей
Выходные данные : Москва: Наука, 1965 Колич.характеристики :350 с.
; 20см
Коллективы :
Академия наук СССР, Институт философии
Примечания : Библиография: с. 349
Цена : 1.29 р.
Предметные рубрики: математическая логика Ключевые слова (''Своб.индексиров.''): математическая логика--семиотика--логика научного познания
Экземпляры :КХР(1) Свободны : КХР(1) Найти похожие
|
>6. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 6П2.154/М 31
Автор(ы) : Маслов, Сергей Юрьевич
Заглавие : Теория дедуктивных систем и ее применение
: учебное пособие
Выходные данные : Москва: Радио и связь, 1986 Колич.характеристики :136 с.:
рис.; 21см
Серия: Кибернетика
Примечания : Лит.: с. 129-131
Цена : 0.45, р.
УДК : 6П2.154 Предметные рубрики: Кибернетика-- Кибернетические системы Ключевые слова (''Своб.индексиров.''): дедуктивна система--математическая логика--математична логіка--канонічні обчислення--канонические исчисления--алгоритми--алгоритмы--горизонтальне моделювання--горизонтальное моделирование--принципы моделирования--принципи моделювання--вертикальне моделювання--вертикальное моделирование Аннотация: Излагается математический аппарат теории исчислений.
Экземпляры :ТО(1) Свободны : ТО(1) Найти похожие
|
>7. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 51(075)/М 34
Заглавие : Математика
: мидлендский экспериментальный учебник
Выходные данные : Москва: Просвещение, 1971 Колич.характеристики :413 с.:
рис., табл.; 22 см
Цена : 1.26 р.
Предметные рубрики: Математика Ключевые слова (''Своб.индексиров.''): углубленное изучение предметов--экспериментальные учебники--математика в средней школе--векторная алгебра--геометрические преобразования--алгебра матриц--булева алгебра--математическая логика--элементы теории вероятностей
Экземпляры :КХР(1) Свободны : КХР(1) Найти похожие
|
>8. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 6П2.154/Н 66
Автор(ы) : Нильсон, Нилс
Заглавие : Искусственный интеллект
: методы поиска решений
Выходные данные : Москва.: Мир , 1973 Колич.характеристики :270 с.:
ил.; 22см
Цена : 1.17, р.
УДК : 6П2.154 Предметные рубрики: Автоматика-- Искусственный интеллект Ключевые слова (''Своб.индексиров.''): математическая кибернетика--математическая логика--методы поиска--исчисления предикатов--задачи--представления задач--головоломки
Экземпляры :ТО(1) Свободны : ТО(1) Найти похожие
|
>9. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 6П2.154/О 75
Автор(ы) : Галушкин А. И., Дегтярев Ю. И., Калинин Б. Н., Костюк Г. А.
Заглавие : Основы кибернетики: учеб. пособие/ под ред. К. А. Пупкова. Математические основы кибернетики
Выходные данные : Москва: Высшая школа, 1974 - Колич.характеристики :413 с.:
рис., табл.; 21.5см
Примечания : Лит.: с. 405-406. - Алф. указ.: с. 407-411
Цена : 0.88, 0.88, р.
УДК : 6П2.154 Предметные рубрики: Кибернетика Ключевые слова (''Своб.индексиров.''): теорія множин--теорим множеств--теорія графів--теория графов--математична логіка--математическая логика--булеві функції--булевые функции--логіка предикатів--логика предикатов--алгоритми--диференційні рівняння--дифференциальные уравнения--лінійне програмування--линейное программирование--нелінійне програмування--нелинейное программирование--випадкові процеси--случайные процессы--математическая статистика--математична статистика--комбинаторный анализ--комбінаторний аналіз Аннотация: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем.
Экземпляры :ТО(1) Свободны : ТО(1) Найти похожие
|
>10. ![](/irbis64r_15/images/printer.jpg)
|
Вид документа : Однотомное издание Шифр издания : 6П5.7/П 40
Заглавие : Пневматические системы управления станками, прессами и другими машинами
: альбом схем
Выходные данные : Москва: НИИМаш, 1971 Колич.характеристики :218 с.:
рис.; 30см
Коллективы :
Всесоюзный научно-исследовательский и проектно-конструкторский институт промышленных гидроприводов и гидроавтоматики
Цена : 3.15, 3.15, р.
УДК : 62-525 + 621.9-525 Предметные рубрики: Пневматические системы Ключевые слова (''Своб.индексиров.''): исполнительные механизмы--математическая логика--пневмоавтоматика--металлорежущие станки--прессы--кузнечно-прессовое оборудование--литейные машины--деревообрабатывающее оборудование--подъемно-транспортные машины--программное управление--числовое программное управление
Экземпляры :ТО(1) Свободны : ТО(1) Найти похожие
|
|
|