517    И 87         Исследование логических систем / Институт философии ; под ред. П. В. Таванец. - М. : Наука, 1970. - 335 с. - 00.00 ДРНТІ 27.03 УДК 510.6 Рубрики: Математика    Гідрологія Дод.точки доступу: Таванец, П. В. \ред.\; Институт философии Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)

519    К 76     Коэн, П. Дж.     Теория множеств и континуум-гипотеза : пер. с англ. / П. Дж. Коэн. - М. : Мир, 1969. - 347 с. - (Б-ка сборника "Математика"). - Библиогр.: с. 344-345. - 1.26 р. ДРНТІ 27.03.33 УДК 519.5 Рубрики: Математика Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2)

519    Л 13     Лавров, И. А.     Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - Библиогр.: с. 232. - Указ.: с. 233-239. - 00.90 р. ДРНТІ 27.03.19 УДК 510.51 519.5 Рубрики: Математическое моделирование    Математичне моделювання Дод.точки доступу: Максимова, Л. Л. Примірників всього: 3 АНЛ (3) Свободны: АНЛ (3)

06    С 92 Східноукраїнський національний університет імені В. Даля.     Вісник : науковий журнал / Східноукр. нац. ун-т ім. В. Даля. - Луганськ : СНУ ім. В. Даля.    № 6 (195) Ч. 1. - 2013. - 188 с. : рис., табл. - укр. - рос. - Бібліогр. в кінці ст. - ISSN 1998-7927. - 33.00 грн ДРНТІ 06.54.51 27.03.66 13.31 УДК 004(066) 519.86(066) 02(066) Рубрики: Информационные технологии    Інформаційні технології    Математическое моделирование    Математичне моделювання    Библиотечное дело    Бібліотечна справа Кл.слова (ненормовані): МУЛЬТИМЕДИЙНЫЕ ТЕХНОЛОГИИ -- МУЛЬТИМЕДІЙНІ ТЕХНОЛОГІЇ -- ОБРОБКА ДАНИХ -- ОБРАБОТКА ДАННЫХ -- сигнатурний аналіз -- сигнатурный анализ -- ІНТЕЛЕКТУАЛЬНІ ТЕХНОЛОГІЇ -- ИНТЕЛЛЕКТУАЛЬНЫЕ ТЕХНОЛОГИИ -- МОНІТОРИНГ -- МОНИТОРИНГ -- НЕЙРОННІ МЕРЕЖІ -- НЕЙРОННЫЕ СЕТИ -- ЦИФРОВІ СИСТЕМИ ЗВ'ЯЗКУ -- ЦИФРОВЫЕ СИСТЕМЫ СВЯЗИ -- АЛГОРИТМИ -- АЛГОРИТМЫ -- КОМП'ЮТЕРНІ МЕРЕЖІ -- КОМПЬЮТЕРНЫЕ СЕТИ -- сингулярність -- сингулярность -- мультифрактальний аналіз -- мультифрактальный анализ -- МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ -- МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ -- криптографічна стійкість -- криптографическая стойкость -- СИСТЕМНИЙ АНАЛІЗ -- СИСТЕМНЫЙ АНАЛИЗ -- СИНЕРГЕТИЧЕСКИЙ ЭФФЕКТ -- СИНЕРГЕТИЧНИЙ ЕФЕКТ -- ДИВЕРСИФІКАЦІЯ -- ДИВЕРСИФИКАЦИЯ -- ВЕБ-ТЕХНОЛОГИИ -- веб-технології -- веб-середовище -- веб-среда -- інформаційні бібліотечні технології -- информационные библиотечные технологии -- тегування -- тегирование -- соціальні мережі -- социальные сети Дод.точки доступу: Східноукраїнський національний університет імені В. Даля(Луганськ) Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)

517    Л 59     Линдон, Р. К.     Заметки по логике : пер. с англ. / Р. К. Линдон ; под ред. И. М. Яглома. - М. : Мир, 1968. - 128 с. - (Соврем. математика. Популярная серия). - Библиогр.: с. 123. - Указ.: с. 124-127. - 00.41 р. ДРНТІ 27.03 УДК 510.6 Рубрики: Высшая математика    Вища математика Дод.точки доступу: Яглом, И. М. \ред.\ Примірників всього: 5 АНЛ (5) Свободны: АНЛ (5)

510    М 34         Математическая логика и алгоритмические проблемы / Ин-т математики ; отв. ред. Ю. Л. Ершов. - Новосибирск : Наука, 1989. - 100 с. - (Труды ин-та математики ; т. 12). - 00.00 ДРНТІ 27.03 УДК 510.6 Рубрики: Математика Дод.точки доступу: Ершов, Ю. Л. \отв. ред.\; Ин-т математики Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)

517    М 34         Математическая логика и ее применения : сб. статей: пер. с англ. / под ред. Э. Нагеля. - М. : Мир, 1965. - 341 с. - 1.65 р. ДРНТІ 27.03 УДК 510.6 Рубрики: Математика Дод.точки доступу: Нагель, Э. \ред.\ Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2)

510    М 34         Математическая логика и теория алгоритмов / Ин-т математики. - Новосибирск : Наука, 1982. - 175 с. - (Труды ин-та математики ; т. 2). - 00.00 ДРНТІ 27.03 УДК 510.6 519.85 Рубрики: Математика    Математическое программирование    Математичне програмування Дод.точки доступу: Ин-т математики Примірників всього: 4 АНЛ (4) Свободны: АНЛ (4)

517    М 34         Математическая теория логического вывода : сб. переводов / под. ред. А. В. Идельсона. - М. : Наука, 1967. - 351 с. - 1.79 р. ДРНТІ 27.03 УДК 510.6 Рубрики: Математика Дод.точки доступу: Идельсон, А. В. \ред.\ Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)

519    М 34         Математическая оптимизация: вопросы разрешимости и устойчивости / под ред. Е. Г. Белоусова. - М. : МГУ, 1986. - 216 с. - 00.00 ДРНТІ 27.03 УДК 519.863 Рубрики: Высшая математика    Вища математика Дод.точки доступу: Белоусов, Е. Г. \ред.\ Примірників всього: 3 АНЛ (3) Свободны: АНЛ (3)

519    М 34         Математическая теория надежности информационно-логических управляющих устройств / под общ. ред. В. И. Зубова. - Л. : Изд-во Ленингр. ун-та, 1966. - 152 с. - 00.00 ДРНТІ 27.03 УДК 519.873 Рубрики: Математическое моделирование    Математичне моделювання Дод.точки доступу: Зубов, В. И. \ред.\ Примірників всього: 2 АНЛ (2) Свободны: АНЛ (2)

519    М 34         Математическая теория оптимальных процессов / Л. С. Понтрягин и др. - 4-е изд., стер. - М. : Наука, 1983. - 392 с. - 1.40 р. ДРНТІ 27.03 УДК 519.863 Рубрики: Математическое моделирование    Математичне моделювання Дод.точки доступу: Понтрягин, Л. С. Примірників всього: 6 АНЛ (6) Свободны: АНЛ (6)

519    М 34         Математическая теория оптимальных процессов / Л. С. Понтрягин и др. - М. : Физматгиз, 1961. - 381 с. - 00.00 ДРНТІ 27.03 УДК 519.863 Рубрики: Математическое моделирование    Математичне моделювання Дод.точки доступу: Понтрягин, Л. С. Примірників всього: 3 АНЛ (3) Свободны: АНЛ (3)

519    М 34         Математическая теория планирования эксперимента / С. М. Ермаков и др. - М. : Наука, 1983. - 391 с. - (СМБ: Справ. - мат. б-ка). - 00.00 ДРНТІ 27.03 УДК 519 Рубрики: Математическое моделирование    Математичне моделювання Дод.точки доступу: Ермаков, С. М. Примірників всього: 4 АНЛ (3), АУЛ (1) Свободны: АНЛ (3), АУЛ (1)

51    М 50     Мендельсон, Э.     Введение в математическую логику : пер. с англ. / Э. Мендельсон ; под ред. С. И. Адаяна. - 3-е изд. - М. : Наука, 1984. - 314 с. - 00.00 ДРНТІ 27.03.19 УДК 510.6 Рубрики: Математика Дод.точки доступу: Адаян, С. И. \ред.\ Примірників всього: 16 АНЛ,АУЛ (16) Свободны: АНЛ,АУЛ (16)

517    М 50     Мендельсон, Э.     Введение в математическую логику : пер. с англ. / Э. Мендельсон ; под ред. С. И. Адаяна. - 2-е изд., испр. - М. : Наука, 1976. - 320 с. - Библиогр.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р. ДРНТІ 27.03.19 УДК 517.11 Рубрики: Математика Дод.точки доступу: Адаян, С. И. \ред.\ Примірників всього: 10 АУЛ (7), АНЛ (3) Свободны: АУЛ (7), АНЛ (3)

51    Н 73     Новиков, П. С.     Конструктивная математическая логика с точки зрения классической / П. С. Новиков. - М. : Наука, 1977. - 328 с. : ил. - (Математическая логика и основания математики). - Библиогр.: с. 318-320. - Указ.: с. 323-328. - 1.43 р. ДРНТІ 27.03.02 УДК 510.6 Рубрики: Математика Примірників всього: 5 АНЛ (5) Свободны: АНЛ (5)

51    Н 73     Новиков, П. С.     Элементы математической логики / П. С. Новиков. - М. : Физматгиз, 1959. - 400 с. - 00.00 ДРНТІ 27.03 УДК 510.6 Рубрики: Математика Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)

517    Н 73     Новиков, П. С.     Элементы математической логики / П. С. Новиков. - 2-е изд., испр. и доп. - М. : Наука, 1973. - 399 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р. ДРНТІ 27.03.19 УДК 510.6 Рубрики: Математика Примірників всього: 12 АНЛ,АУЛ (12) Свободны: АНЛ,АУЛ (12)

517    П 78         Проблемы математической логики. Сложность алгоритмов и классы вычислимых функций. Сборник переводов / Под ред.: В. А. Козмидиади, А. А. Мучника. - М. : Мир, 1970. - 432 с. : черт. - (Б-ка кибернет. сборника). - Библиогр. в конце ст. - 1.94 р. ДРНТІ 27.03.19 УДК 510.6 Рубрики: Математика Дод.точки доступу: Козмидиади, В. А. \ред.\; Мучник, А. А. \ред.\ Примірників всього: 1 АНЛ (1) Свободны: АНЛ (1)