Перейти к содержимому 
База данных: Электронный каталог ДВФУ
Страница 2, Результатов: 17
Отмеченные записи: 0
11.
Подробнее
М 876
Мощенский, Владимир Андреевич.
Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский. - Минск : Изд-во Белорусского университета, 1973. - 159 c. - Библиогр. : с. 154.
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
машины Тьюринга -- исчисление высказываний -- вычислимые функции -- исчисление предикатов -- булевы функции -- логика высказываний -- алгоритмы -- нормальные алгорифмы
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
М 876
Мощенский, Владимир Андреевич.
Лекции по математической логике : учебное пособие для математических специальностей вузов / В. А. Мощенский. - Минск : Изд-во Белорусского университета, 1973. - 159 c. - Библиогр. : с. 154.
| УДК |
Рубрики: математическая логика--учебные издания для вузов
Кл.слова (ненормированные):
машины Тьюринга -- исчисление высказываний -- вычислимые функции -- исчисление предикатов -- булевы функции -- логика высказываний -- алгоритмы -- нормальные алгорифмы
Экземпляры всего: 2
Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
Свободны: Ч/З о. Русский (1), Абонемент учебной и научной литературы (1)
12.
Подробнее
В 63
Численные методы алгебры. Теория и алгорифмы / Воеводин В.В. - М. : Наука, 1966. - 248 c.
Кл.слова (ненормированные):
алгорифмы -- математика -- алгебра -- численные методы
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
В 63
Численные методы алгебры. Теория и алгорифмы / Воеводин В.В. - М. : Наука, 1966. - 248 c.
| УДК |
Кл.слова (ненормированные):
алгорифмы -- математика -- алгебра -- численные методы
Экземпляры всего: 1
Ч/З о. Русский (1)
Свободны: Ч/З о. Русский (1)
13.
Подробнее
Автоматы, алгоритмы, языки : межвузовский тематический сборник / Калининский государственный университет ; [ред. кол. : А. В. Гладкий (отв. ред.) и др.]. - Калинин : [б. и.], 1982. - 168 c. : ил. - Библиогр. в примеч.
Кл.слова (ненормированные):
математика -- автоматы (математика) -- множества -- алгорифмы -- уравнения (математика) -- алгорифмические уравнения -- Жордана теорема
Доп.точки доступа:
Гладкий, А. В. \ред.\
Калининский государственный университет
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Автоматы, алгоритмы, языки : межвузовский тематический сборник / Калининский государственный университет ; [ред. кол. : А. В. Гладкий (отв. ред.) и др.]. - Калинин : [б. и.], 1982. - 168 c. : ил. - Библиогр. в примеч.
| УДК |
Кл.слова (ненормированные):
математика -- автоматы (математика) -- множества -- алгорифмы -- уравнения (математика) -- алгорифмические уравнения -- Жордана теорема
Доп.точки доступа:
Гладкий, А. В. \ред.\
Калининский государственный университет
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
14.
Подробнее
Оптимальное планирование : сборник трудов / [отв. ред. Р. Э. Вальский]. - Новосибирск : [б. и.], 1969 - .
вып. 13 : Программы и алгоритмы. - 196 c.
Кл.слова (ненормированные):
алгоритмы -- многочлены (математика) -- алгорифмы -- булевые переменные -- матрицы -- математика -- оптимальное планирование -- целочисленное программирование -- непрерывные функции
Доп.точки доступа:
Вальский, Р. Э. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
Оптимальное планирование : сборник трудов / [отв. ред. Р. Э. Вальский]. - Новосибирск : [б. и.], 1969 - .
вып. 13 : Программы и алгоритмы. - 196 c.
| УДК |
Кл.слова (ненормированные):
алгоритмы -- многочлены (математика) -- алгорифмы -- булевые переменные -- матрицы -- математика -- оптимальное планирование -- целочисленное программирование -- непрерывные функции
Доп.точки доступа:
Вальский, Р. Э. \ед.\
Экземпляры всего: 1
Хранение Отдела организации и использования фонда (1)
Свободны: Хранение Отдела организации и использования фонда (1)
15.
Подробнее
Карно, Лазарь.
Размышления о метафизике исчисления бесконечно-малых / Карно Лазарь ; пер. с фр. Н. М. Соловьева ; под ред. А. П. Юшкевича. - 2-е изд. - Москва ; Ленинград : ОНТИ, 1936. - 327 c. : ил. - (Классики естествознания)
В приложении дана статья : Юшкевич, А. П. Идеи обоснования математического анализа в XVIII веке
Рубрики: математика--сборники
Кл.слова (ненормированные):
математические анализ -- алгорифмы -- вариационное исчисление -- математические уравнения -- несовершенные уравнения -- дифференциальное исчисление -- бесконечно-малые величины -- редкая книга
Доп.точки доступа:
Юшкевич, Адольф Павлович \ред.\
Соловьев, Н. М. \пер.\
Экземпляры всего: 1
Ч/З Редкая книга (1)
Свободны: Ч/З Редкая книга (1)
Карно, Лазарь.
Размышления о метафизике исчисления бесконечно-малых / Карно Лазарь ; пер. с фр. Н. М. Соловьева ; под ред. А. П. Юшкевича. - 2-е изд. - Москва ; Ленинград : ОНТИ, 1936. - 327 c. : ил. - (Классики естествознания)
В приложении дана статья : Юшкевич, А. П. Идеи обоснования математического анализа в XVIII веке
| УДК |
Рубрики: математика--сборники
Кл.слова (ненормированные):
математические анализ -- алгорифмы -- вариационное исчисление -- математические уравнения -- несовершенные уравнения -- дифференциальное исчисление -- бесконечно-малые величины -- редкая книга
Доп.точки доступа:
Юшкевич, Адольф Павлович \ред.\
Соловьев, Н. М. \пер.\
Экземпляры всего: 1
Ч/З Редкая книга (1)
Свободны: Ч/З Редкая книга (1)
16.
Подробнее
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
Е 924
Ефремов, Евгений Леонидович.
Алгоритмы вычисления частичных функций : учебно-методическое пособие / Е. Л. Ефремов ; Дальневосточный федеральный университет. - Владивосток : Изд-во Дальневосточного федерального университета, 2021. - 46, [1] с. : ил., табл.. - ISBN 9785744450205
| УДК |
Рубрики: алгоритмы--вычислимость--учебные издания для вузов - учебно-методические пособия
Кл.слова (ненормированные):
Тьюринга машины -- Поста машины -- Маркова алгорифмы -- алгорифмы неформальные -- классы алгоритмов -- задачи (теория вычислимости) -- ДВФУ (труды преподавателей)
Доп.точки доступа:
Дальневосточный федеральный университет (Владивосток)
Экземпляры всего: 2
Книгохранение (1), Ч/З о. Русский (1)
Свободны: Книгохранение (1), Ч/З о. Русский (1)
17.
Подробнее
Ф 732
Флоренский, Павел Александрович.
Число как форма / священник Павел Флоренский. - Москва : Изд-во Московского центра непрерывного математического образования, 2021. - 80 с. : ил.. - ISBN 9785443916118
Рубрики: число--философские вопросы
Кл.слова (ненормированные):
числа (математика) -- чисел теория -- пифагоровы числа -- приведение чисел -- числовая символика -- алгорифмы арифмологические -- повышение чисел -- системы счисления (история) -- арифмология -- философия числа -- категория числа -- структурность числа -- изображение числа
Экземпляры всего: 1
Методический кабинет ШИГН (1)
Свободны: Методический кабинет ШИГН (1)
Ф 732
Флоренский, Павел Александрович.
Число как форма / священник Павел Флоренский. - Москва : Изд-во Московского центра непрерывного математического образования, 2021. - 80 с. : ил.. - ISBN 9785443916118
| УДК |
Рубрики: число--философские вопросы
Кл.слова (ненормированные):
числа (математика) -- чисел теория -- пифагоровы числа -- приведение чисел -- числовая символика -- алгорифмы арифмологические -- повышение чисел -- системы счисления (история) -- арифмология -- философия числа -- категория числа -- структурность числа -- изображение числа
Экземпляры всего: 1
Методический кабинет ШИГН (1)
Свободны: Методический кабинет ШИГН (1)
Страница 2, Результатов: 17