Л 36 Левин, Виталий Ильич. Бесконечнозначная логика в задачах кибернетики [Текст] / В. И. Левин. - Москва : Радио и связь, 1982. - 176 с. : ил. ; 22 см. - 3000 экз.. - 1.80 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КИБЕРНЕТИКА -- НЕПРЕРЫВНАЯ ЛОГИКА ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
М 31 Маслов, Сергей Юрьевич. Теория дедуктивных систем и ее применение [Текст] : учебное пособие / С. Ю. Маслов. - Москва : Радио и связь, 1986. - 136 с. : рис. ; 21см. - (Кибернетика). - Лит.: с. 129-131. - 8800 экз.. - 0.45 р.
Кл.слова (ненормированные): дедуктивна система -- математическая логика -- математична логіка -- канонічні обчислення -- канонические исчисления -- алгоритми -- алгоритмы -- горизонтальне моделювання -- горизонтальное моделирование -- принципы моделирования -- принципи моделювання -- вертикальне моделювання -- вертикальное моделирование Аннотация: Излагается математический аппарат теории исчислений. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Н 66 Нильсон, Нилс. Искусственный интеллект [Текст] : методы поиска решений / Н. Нильсон ; ред. С. В. Фомин ; перевод с английского В. Л. Стефанюк. - Москва. : Мир , 1973. - 270 с. : ил. ; 22см. - 493 экз.. - 1.17 р.
Кл.слова (ненормированные): МАТЕМАТИЧЕСКАЯ КИБЕРНЕТИКА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- МЕТОДЫ ПОИСКА -- ИСЧИСЛЕНИЯ ПРЕДИКАТОВ -- ЗАДАЧИ -- ПРЕДСТАВЛЕНИЯ ЗАДАЧ -- ГОЛОВОЛОМКИ Доп.точки доступа: Фомин, С. В. \ред.\; Стефанюк, В. Л. \пер.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
О 75 Основы кибернетики [Текст] : учеб. пособие / под ред. К. А. Пупкова. - Москва : Высшая школа, 1974 - .Математические основы кибернетики / А. И. Галушкин [и др.] ; ред. К. А. Пупков. - 413 с. : рис., табл. ; 21.5см. - Лит.: с. 405-406. - Алф. указ.: с. 407-411. - 25 000 экз.. - (в пер.) : 0.88 р.
Кл.слова (ненормированные): теорія множин -- теорим множеств -- теорія графів -- теория графов -- математична логіка -- математическая логика -- булеві функції -- булевые функции -- логіка предикатів -- логика предикатов -- алгоритми -- диференційні рівняння -- дифференциальные уравнения -- лінійне програмування -- линейное программирование -- нелінійне програмування -- нелинейное программирование -- випадкові процеси -- случайные процессы -- математическая статистика -- математична статистика -- комбинаторный анализ -- комбінаторний аналіз Аннотация: Изложен математический аппарат, используемый при построении моделей кибернетических систем и изучении их поведения на основе исследования этих систем. Доп.точки доступа: Пупков, К. А. \ред.\; Галушкин, А. И.; Дегтярев, Ю. И.; Калинин, Б. Н.; Костюк, Г. А. ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
П 40 Пневматические системы управления станками, прессами и другими машинами [Текст] : альбом схем / ВНИИГидропривод ; науч. ред. С. А. Лейн. - Москва : НИИМаш, 1971. - 218 с. : рис. ; 30см. - 4000 экз.. - (в пер.) : 3.15 р.
Рубрики: Пневматические системы Кл.слова (ненормированные): ИСПОЛНИТЕЛЬНЫЕ МЕХАНИЗМЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ПНЕВМОАВТОМАТИКА -- МЕТАЛЛОРЕЖУЩИЕ СТАНКИ -- ПРЕССЫ -- КУЗНЕЧНО-ПРЕССОВОЕ ОБОРУДОВАНИЕ -- ЛИТЕЙНЫЕ МАШИНЫ -- ДЕРЕВООБРАБАТЫВАЮЩЕЕ ОБОРУДОВАНИЕ -- ПОДЪЕМНО-ТРАНСПОРТНЫЕ МАШИНЫ -- ПРОГРАММНОЕ УПРАВЛЕНИЕ -- ЧИСЛОВОЕ ПРОГРАММНОЕ УПРАВЛЕНИЕ Доп.точки доступа: Лейн, С. А. \науч. ред.\; Всесоюзный научно-исследовательский и проектно-конструкторский институт промышленных гидроприводов и гидроавтоматики ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Р 89 Русско-чешский словарь по вычислительной технике [Текст] = Rusko-cesky slovnik vypocetni techniky : ок. 30000 терминов и терминологических сочетаний / [А. И. Журавлев и др.] ; под ред.: М. Кржижа и А. П. Пронина. - Москва : Русский язык ; Прага : СНТЛ - Изд-во техн. лит., 1988. - 440 с ; 22см. - Текст рос., чес. - 3050 экз.. - ISBN 5-200-00385-7 (в пер.) : 4 р. Рубрики: Вычислительная техника - Словари Кл.слова (ненормированные): русско-чешские словари -- термилогические словари -- вычислительная техника -- вычислительные машины -- программирование -- математическая логика Аннотация: Словарь содержит ок. 30000 терминов по разделам: теория вычислительных машин и алгоритмов, языки и программирование, архитектура и принципы работы ЭВМ, операционные системы, математическая логика, передача, телеобработка и базы данных, технология, применение и обслуживание ЭВМ. Предназначен для научных, инженерно-технических работников и переводчиков. Доп.точки доступа: Журавлев, Алексей Иванович; Артюхов, Анатолий Петрович; Заморин, Анатолий Петрович; Марков, А. С.; Кржиж, Мирослав \ред.\; Пронин, А. П. \ред.\ ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Д 72 Драбкина, Мария Ефимовна. Логические упражнения по элементарной математике : учебное пособие для математических факультетов педагогических вузов / М. Е. Драбкина. - Москва : Высшая школа, 1965. - 160 с. : с черт. ; 20 см. - Библиография: с. 159. - 7000 экз.. - 0.28 р. Рубрики: Математическая логика Кл.слова (ненормированные): математическая логика -- задачи ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Л 69 Логическая структура научного знания : сборник статей / Академия наук CCCР, Институт философии ; ответственный редактор П. В. Таванец. - Москва : Наука, 1965. - 350 с. ; 20см. - Библиография: с. 349. - 6200 экз.. - (в пер.) : 1.29 р. Рубрики: математическая логика Кл.слова (ненормированные): математическая логика -- семиотика -- логика научного познания Доп.точки доступа: Таванец, Пётр Васильевич \отв. ред.\; Академия наук СССРИнститут философии ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
М 34 Математика [Текст] : мидлендский экспериментальный учебник / перевод с английского Г. Г. Масловой. - Москва : Просвещение, 1971. - 413 с. : рис., табл. ; 22 см. - 40000 экз.. - (в пер.) : 1.26 р. Рубрики: Математика--Учебники для средней школы Кл.слова (ненормированные): УГЛУБЛЕННОЕ ИЗУЧЕНИЕ ПРЕДМЕТОВ -- ЭКСПЕРИМЕНТАЛЬНЫЕ УЧЕБНИКИ -- МАТЕМАТИКА В СРЕДНЕЙ ШКОЛЕ -- ВЕКТОРНАЯ АЛГЕБРА -- ГЕОМЕТРИЧЕСКИЕ ПРЕОБРАЗОВАНИЯ -- АЛГЕБРА МАТРИЦ -- БУЛЕВА АЛГЕБРА -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ЭЛЕМЕНТЫ ТЕОРИИ ВЕРОЯТНОСТЕЙ Доп.точки доступа: Маслова, Галина Герасимовна \пер.\ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
И 88 Исследования по математической лингвистике, математической логике и информационным языкам [Текст] : сборник статей / Академия наук СССР ; под редакцией Д. А. Бочвара, Ю. А. Шрейдера. - Москва : Наука, 1972. - 296 с. : ил. ; 21 см. - Библиография в примечание. - 0.88 р. Содержание: Бочвар, Д. А. О многозначных логиках, допускающих формализацию анализа антиномий. 1. / Д. А. Бочвар, В. К. Финн. - С .238-295a-8 табл., формулы. - Библиогр. в конце ст. Рубрики: языкознание (лингвистика) Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Шрейдер, Ю.А. \ред.\; Пробст, М. А.; ВИНИТИ ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |
Е 80 Ершов, Андрей Петрович. Введение в теоретическое программирование. Беседы о методе [Текст] : учебное пособие для студентов вузов, обучающихся по специальности "Прикладная математика" / А. П. Ершов. - Москва : Наука, 1977. - 288 с. : рис. ; 23 см. - 55000 экз.. - (в пер.) : 00.80 р. Рубрики: Математика--Вычислительная математика--Учебники и пособия Кл.слова (ненормированные): программирование -- линейные программы -- математика -- алгоритмизация -- информационные графы -- структурированное программирование -- распределение -- математическая логика -- алгебра -- схемы Янова -- преобразования -- учебные пособия ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |