Бази даних

Наукова електронна бібліотека - результати пошуку

Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"

Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
 Знайдено в інших БД:Реферативна база даних (14)Книжкові видання та компакт-диски (23)Журнали та продовжувані видання (1)
Пошуковий запит: (<.>A=Успенский В$<.>)
Загальна кількість знайдених документів : 8
Представлено документи з 1 до 8

   Тип видання:   науково-популярне видання   
1.

Успенский, Владимир Андреевич.
Что такое нестандартный анализ? [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1987. - 129 с.

Рубрики:

  Повний текст доступний у читальних залах НБУВ


В последние два десятилетия возник так называемый нестандартный анализ. Предлагаемый им подход к обоснованию математического анализа базируется на допущении существования, помимо обычных действительных чисел, "бесконечно больших чисел" и "бесконечно малых чисел". Полное логическое обоснование этого подхода довольно сложно и опирается на конструкции математической логики. Цель книги - не давая полного обоснования, а лишь постулируя необходимые факты, объяснить на доступных примерах, в чем суть нестандартного анализа.



Кл.слова:
математика -- аналіз -- логіка

   Тип видання:   життєпис   
2.

Успенский, В. В.
Глинка [Електронний ресурс] / В. В. Успенский. - Ленинград : Молодая Гвардия, 1950. - 268 с.. - (Жизнь замечательных людей. ЖЗЛ : серия биографий ; вып. 167)

Рубрики:

Географічні рубрики:

  Повний текст доступний у читальних залах НБУВ


Книга рассказывает о жизни и деятельности Михаила Ивановича Глинки (1804 - 1957), великого русского композитора.



Кл.слова:
музика -- композитор -- біографія -- класична музика

   Тип видання:   підручник   
Категорія: Математика   
3.

Успенский, В. А.
Апология математики, или О математике как части духовной культуры [Електронний ресурс] / В. А. Успенский. - [Б. м. : б. в.]

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Успенский Владимир Андреевич - доктор физико-математических наук, профессор, заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ им. М. В. Ломоносова. Родился в 1930 году. Автор филологических и культурологических статей, опубликованных в журналах “Новое литературное обозрение”, “Неприкосновенный запас” и других изданиях. Постоянный автор “Нового мира”



Кл.слова:
квадратура -- коло -- паралельні прямі -- довжина

   Тип видання:   підручник   
Категорія: Математика   
4.

Успенский, В. А.
Треугольник Паскаля [Електронний ресурс] / В. А. Успенский. - 2-е изд., доп.. - М. : Наука, 1979. - 48 с.. - (Популярные лекции по математике)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Настоящая лекция доступна учащимся восьмилетней школы. В ней рассматривается одна важная числовая таблица (которая и называется треугольником Паскаля), полезная при решении ряда задач. Попутно с решением таких задач затрагивается вопрос, что означают слова "решить задачу".



Кл.слова:
задача -- трикутник

   Тип видання:   підручник   
Категорія: Математика   
5.

Успенский, В. А.
Теорема Гёделя о неполноте [Електронний ресурс] / В. А. Успенский. - М. : Наука, 1982. - 112 с.. - (Популярные лекции по математике)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Теорема Гёделя о неполноте — едва ли не самая знаменитая теорема математики. Она утверждает, что какие бы способы доказывания ни предложить, в любом достаточно богатом языке найдутся истинные, но не доказуемые утверждения. Богатство языка есть его способность выражать факты. Оказывается, что для целей теоремы Гёделя богатство языка достаточно понимать как его способность выражать принадлежность натуральных чисел перечислимым множествам. Понятие перечислимого множества — одно из основных понятий теории алгоритмов: непустое множество называется перечислимым, если его можно расположить в вычислимую последовательность. Таким образом, теорема Гёделя имеет алгоритмические истоки. Возможны четыре принципиально различные пути, ведущие от этих истоков к теореме; эти пути были предложены, соответственно, Гёделем, Колмогоровым, Чейтином и Шенем.



Кл.слова:
число -- теорема -- факт

   Тип видання:   підручник   
6.

Успенский, В. А.
Некоторые приложения механики к математики [Електронний ресурс] / В. А. Успенский. - М. : Гос. изд-во физико-математической литературы, 1958. - 49 с.. - (Популярные лекции по математике)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Настоящая лекция рассчитана на учащихся средних школ (7–10 классы). В ней рассмотрены простые решения различных математических задач (иногда довольно сложных) при помощи использования некоторых положений механики.



Кл.слова:
задача -- теорема

   Тип видання:   підручник   
7.

Успенский, В. А.
Машина Поста [Електронний ресурс] / В. А. Успенский. - 2-е изд., перераб.. - М. : Наука, 1988. - 96 с.. - (Популярные лекции по математике)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Машина Поста — это хотя и абстрактная (т. е. не существующая в арсенале действующей техники), но зато очень простая вычислительная машина. Она способна выполнять лишь самые элементарные действия, и потому ее описание и составление простейших программ может быть доступно ученикам начальной школы. Тем не менее на машине Поста можно запрограммировать — в известном смысле — любые алгоритмы. Изучение машины Поста можно рассматривать как начальный этап обучения теории алгоритмов и программированию.



Кл.слова:
задача -- функція

   Тип видання:   наукове видання   
Категорія: Математика   
8.

Успенский, В. А.
Лекции о вычислимых функциях [Електронний ресурс] / В. А. Успенский. - М. : Гос. изд-во физико-математической литературы, 1960. - 492 с.. - (Математическая логика и основания математики)

Рубрики:

  Повний текст доступний у читальних залах НБУВ


Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории.



Кл.слова:
математична логіка  -- функція
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського