Главная Упрощенный режим Описание
Авторизация
Фамилия
Номер ЧБ
 

Вход/Регистрация через ЕСИА

Базы данных


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

Вид поиска
Каталог Национальной Библиотеки Республики Дагестан
Область поиска
в найденном
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: <.>K=МАТЕМАТИЧЕСКАЯ ЛОГИКА<.>
Общее количество найденных документов : 11
Показаны документы с 1 по 10
 1-10    11-11 
1.
510
Д 72

    Драбкина, Мария Ефимовна.
    Логические упражнения по элементарной математике : учебное пособие для математических факультетов педагогических вузов / М. Е. Драбкина. - Москва : Высшая школа, 1965. - 160 с. : с черт. ; 20 см. - Библиография: с. 159. - 7000 экз.. - 0.28 р.
РУБ 510
Рубрики: Математическая логика
Кл.слова (ненормированные):
математическая логика -- задачи

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
2.
51
Л 69

   
    Логическая структура научного знания : сборник статей / Академия наук CCCР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Наука, 1965. - 350 с. ; 20см. - Библиография: с. 349. - 6200 экз.. - (в пер.) : 1.29 р.
РУБ 51
Рубрики: математическая логика
Кл.слова (ненормированные):
математическая логика -- семиотика -- логика научного познания


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

   
    Пневматические системы управления станками, прессами и другими машинами [Текст] : альбом схем / ВНИИГидропривод ; науч. ред. С. А. Лейн. - Москва : НИИМаш, 1971. - 218 с. : рис. ; 30см. - 4000 экз.. - (в пер.) : 3.15 р.
УДК
62-525
621.9-525
РУБ 6П5.7
Рубрики: Пневматические системы
Кл.слова (ненормированные):
ИСПОЛНИТЕЛЬНЫЕ МЕХАНИЗМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПНЕВМОАВТОМАТИКА -- МЕТАЛЛОРЕЖУЩИЕ СТАНКИ -- ПРЕССЫ -- КУЗНЕЧНО-ПРЕССОВОЕ ОБОРУДОВАНИЕ -- ЛИТЕЙНЫЕ МАШИНЫ -- ДЕРЕВООБРАБАТЫВАЮЩЕЕ ОБОРУДОВАНИЕ -- ПОДЪЕМНО-ТРАНСПОРТНЫЕ МАШИНЫ -- ПРОГРАММНОЕ УПРАВЛЕНИЕ -- ЧИСЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ


Доп.точки доступа:
Лейн, С. А. \науч. ред.\; Всесоюзный научно-исследовательский и проектно-конструкторский институт промышленных гидроприводов и гидроавтоматики
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
4.
51(075)
М 34

   
    Математика [Текст] : мидлендский экспериментальный учебник / перевод с английского Г. Г. Масловой. - Москва : Просвещение, 1971. - 413 с. : рис., табл. ; 22 см. - 40000 экз.. - (в пер.) : 1.26 р.
РУБ 51(075)
Рубрики: Математика--Учебники для средней школы
Кл.слова (ненормированные):
УГЛУБЛЕННОЕ ИЗУЧЕНИЕ ПРЕДМЕТОВ -- ЭКСПЕРИМЕНТАЛЬНЫЕ УЧЕБНИКИ -- МАТЕМАТИКА В СРЕДНЕЙ ШКОЛЕ -- ВЕКТОРНАЯ АЛГЕБРА -- ГЕОМЕТРИЧЕСКИЕ ПРЕОБРАЗОВАНИЯ -- АЛГЕБРА МАТРИЦ -- БУЛЕВА АЛГЕБРА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ВЕРОЯТНОСТЕЙ


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

   
    Исследования по математической лингвистике, математической логике и информационным языкам [Текст] : сборник статей / Академия наук СССР ; под редакцией Д. А. Бочвара, Ю. А. Шрейдера. - Москва : Наука, 1972. - 296 с. : ил. ; 21 см. - Библиография в примечание. - 0.88 р.
    Содержание:
Бочвар, Д. А. О многозначных логиках, допускающих формализацию анализа антиномий. 1. / Д. А. Бочвар, В. К. Финн. - С .238-295a-8 табл., формулы. - Библиогр. в конце ст.
РУБ 40
Рубрики: языкознание (лингвистика)
Кл.слова (ненормированные):
Математическая логика


Доп.точки доступа:
Шрейдер, Ю.А. \ред.\; Пробст, М. А.; ВИНИТИ
~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
6.
6П2.154
Н 66

    Нильсон, Нилс.
    Искусственный интеллект [Текст] : методы поиска решений / Н. Нильсон ; ред. С. В. Фомин ; перевод с английского В. Л. Стефанюк. - Москва. : Мир , 1973. - 270 с. : ил. ; 22см. - 493 экз.. - 1.17 р.
УДК
6П2.154
Рубрики: Автоматика--Искусственный интеллект
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МЕТОДЫ ПОИСКА -- ИСЧИСЛЕНИЯ ПРЕДИКАТОВ -- ЗАДАЧИ -- ПРЕДСТАВЛЕНИЯ ЗАДАЧ -- ГОЛОВОЛОМКИ


Доп.точки доступа:
Фомин, С. В. \ред.\; Стефанюк, В. Л. \пер.\
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
7.
6П2.154
О 75

    Основы кибернетики [Текст] : учеб. пособие / под ред. К. А. Пупкова. - Москва : Высшая школа, 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. ; 21.5см. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 25 000 экз.. - (в пер.) : 0.88 р.
УДК
6П2.154
Рубрики: Кибернетика
Кл.слова (ненормированные):
теорія множин -- теорим множеств -- теорія графів -- теория графов -- математична логіка -- математическая логика -- булеві функції -- булевые функции -- логіка предикатів -- логика предикатов -- алгоритми -- диференційні рівняння -- дифференциальные уравнения -- лінійне програмування -- линейное программирование -- нелінійне програмування -- нелинейное программирование -- випадкові процеси -- случайные процессы -- математическая статистика -- математична статистика -- комбинаторный анализ -- комбінаторний аналіз
Аннотация: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем.


Доп.точки доступа:
Пупков, К. А. \ред.\; Галушкин, А. И.; Дегтярев, Ю. И.; Калинин, Б. Н.; Костюк, Г. А.
~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
8.
517.8
Е 80

    Ершов, Андрей Петрович.
    Введение в теоретическое программирование. Беседы о методе [Текст] : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика" / А. П. Ершов. - Москва : Наука, 1977. - 288 с. : рис. ; 23 см. - 55000 экз.. - (в пер.) : 00.80 р.
РУБ 517.8
Рубрики: Математика--Вычислительная математика--Учебники и пособия
Кл.слова (ненормированные):
программирование -- линейные программы -- математика -- алгоритмизация -- информационные графы -- структурированное программирование -- распределение -- математическая логика -- алгебра -- схемы Янова -- преобразования -- учебные пособия

~Экземпляры всего: 1
КХР (1)
Свободны: КХР (1)
Найти похожие
9.
6П2.154
Л 36

    Левин, Виталий Ильич.
    Бесконечнозначная логика в задачах кибернетики [Текст] / В. И. Левин. - Москва : Радио и связь, 1982. - 176 с. : ил. ; 22 см. - 3000 экз.. - 1.80 р.
УДК
6П2.154
Рубрики: Кибернетика--Математические методы
Кл.слова (ненормированные):
МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КИБЕРНЕТИКА -- НЕПРЕРЫВНАЯ ЛОГИКА

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
10.
6П2.154
М 31

    Маслов, Сергей Юрьевич.
    Теория дедуктивных систем и ее применение [Текст] : учебное пособие / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 136 с. : рис. ; 21см. - (Кибернетика). - Лит.: с. 129-131. - 8800 экз.. - 0.45 р.
УДК
6П2.154
Рубрики: Кибернетика--Кибернетические системы
Кл.слова (ненормированные):
дедуктивна система -- математическая логика -- математична логіка -- канонічні обчислення -- канонические исчисления -- алгоритми -- алгоритмы -- горизонтальне моделювання -- горизонтальное моделирование -- принципы моделирования -- принципи моделювання -- вертикальне моделювання -- вертикальное моделирование
Аннотация: Излагается математический аппарат теории исчислений.

~Экземпляры всего: 1
ТО (1)
Свободны: ТО (1)
Найти похожие
 1-10    11-11 
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)