Наукова бібліотека Українського державного університету науки і технологій

Головна

Бази даних

Каталог книг- результати пошуку

Вид пошуку

Каталог книг

Каталог книг НМетАУ (до 2022 року)

Періодичні видання (друковані)

Статті, доповіді, тези

Рідкісні та цінні видання

Охоронні документи

Мережеві ресурси

Зона пошуку

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>U=510.51<.>

Загальна кількість знайдених документів : 8
Показані документи с 1 за 8

   517
   Ш 47

    Шенфилд, Дж.
    Математическая логика / Дж. Шенфилд. - Пер. с англ. - М. : Наука, 1975. - 527 с. - 2.16 р.

УДК

510.51

Примірників всього: 15
АУЛ (15)
Свободны: АУЛ (15)
Знайти схожі

   51
   А 16

    Абрамов, С. А.
    Математические построения и программирование / С. А. Абрамов. - М. : Наука, 1978. - 191 с. - 00.30 р.

ДРНТІ	27
УДК	510.51

Рубрики: Математика

Примірників всього: 3
АНЛ (3)
Свободны: АНЛ (3)
Знайти схожі

   518
   Е 92

    Ефремов, Г. О.
    Алгоритмы / Г. О. Ефремов. - М. : Знание, 1964. - 30 с. - (Новое в жизни, науке, технике. Физика. Математика. Астрономия. 23). - 00.06 р.

ДРНТІ	27
УДК	510.51

Рубрики: Математика

Примірників всього: 1
АНЛ (1)
Свободны: АНЛ (1)
Знайти схожі

   519
   Л 13

    Лавров, И. А.
    Задачи по теории множеств математической логике и теории алгоритмов / И. А. Лавров, Л. Л. Максимова. - М. : Наука, 1975. - 240 с. - Библиогр.: с. 232. - Указ.: с. 233-239. - 00.90 р.

ДРНТІ	27.03.19
УДК	510.51	519.5

Рубрики: Математическое моделирование
Математичне моделювання

Дод.точки доступу:
Максимова, Л. Л.
Примірників всього: 3
АНЛ (3)
Свободны: АНЛ (3)
Знайти схожі

   510
   М 26

    Марков, А. А.
    Теория алгоритмов / А. А. Марков, Н. М. Нагорный. - М. : Наука, 1984. - 432 с. : портр. - (Математическая логика и основания математики). - Библиогр.: с. 422-426. - Указ. имен. и предм.: с. 427-432. - 3.30 р.

ДРНТІ	27
УДК	510.51

Рубрики: Математика

Дод.точки доступу:
Нагорный, Н. М.; Нагорний, І. В.
Примірників всього: 5
АНЛ (5)
Свободны: АНЛ (5)
Знайти схожі

   510
   Р 69

    Романовский, И. В.
    Алгоритмы решения экстремальных задач / И. В. Романовский. - М. : Наука , 1977. - 351 с. - 00.00

ДРНТІ	27
УДК	510.51

Рубрики: Математика
Кл.слова (ненормовані):
МЕТОДИЧЕСКИЕ УКАЗАНИЯ -- МЕТОДИЧНІ ВКАЗІВКИ -- 1095

Примірників всього: 20
АНЛ (20)
Свободны: АНЛ (20)
Знайти схожі

   519
   Т 65

    Трахтенброт, Б. А.
    Алгоритмы и вычислительные автоматы / Б. А. Трахтенброт. - Москва : Сов. радио, 1974. - 200 с. : ил. - Указ.: с. 195-197. - 00.71 р.

ДРНТІ	27.41.41
УДК	510.51

Рубрики: Высшая математика
Вища математика

Примірників всього: 3
АНЛ (3)
Свободны: АНЛ (3)
Знайти схожі

   510
   Т 65

    Трахтенброт, Б. А.
    Алгоритмы и машинное решение задач / Б. А. Трахтенброт. - Москва : Гостехиздат, 1957. - 96 с. - (Популярные лекции по математике ; вып. 26). - 00.00

ДРНТІ	27.41.41
УДК	510.51

Рубрики: Математика

Примірників всього: 1
АНЛ (1)
Свободны: АНЛ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)