Книга: Успенский Владимир Андреевич, Верещагин Николай Константинович, Плиско Валерий Егорович «Вводный курс математической логики»
В учебном пособии содержится материал основного курса "Введение в математическую логику", читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики. 2-е издание. Издательство: "Физматлит" (2007)
ISBN: 5-9221-0278-0, 978-5-9221-0278-0 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Вводный курс математической логики. 2-е издание | 128 стр. В учебном пособии содержится материал основного курса Введение в математическую логику, читаемого на… — Физматлит, Подробнее... | бумажная книга |
Успенский, Владимир Андреевич
Владимир Андреевич Успенский | |
Владимир Успенский (2008) |
|
Дата рождения: | |
---|---|
Место рождения: | |
Научная сфера: | |
Место работы: | |
Учёная степень: | |
Учёное звание: | |
Альма-матер: | |
Научный руководитель: |
Влади́мир Андре́евич Успе́нский (род. 27 ноября 1930, Москва) — российский математик, лингвист, публицист, доктор физико-математических наук (1964), профессор. Автор работ по математической логике, лингвистике, а также художественных произведений в жанре мемуарной прозы. Инициатор реформы лингвистического образования в России.
Биография
Окончил механико-математический факультет МГУ (1952), ученик А. Н. Колмогорова. Зав. кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ (1995). Один из организаторов Отделения структурной лингвистики (ныне - Отделение теоретической и прикладной лингвистики) филологического факультета МГУ, где также преподаёт.
Автор многих книг и свыше 100 научных работ. Подготовил 25 кандидатов и 4 докторов наук.
За книгу «Апология математики» В. А. Успенский получил главный приз премии «Просветитель»-2010 в области естественных и точных наук.
Заслуженный профессор Московского университета (1998).
Брат Б. А. Успенского.
Ссылки
Внешние изображения | |
---|---|
XII Летняя школа «Современная математика » (Дубна, 19–30 июля 2012) 2-VAU.jpg |
- Страница В. А. Успенского на сайте кафедры.
- В. А. Успенский. Труды по нематематике (с приложением семиотических посланий А. Н. Колмогорова к автору и его друзьям). М.: ОГИ, 2002, т. I—II. ISBN 5-94282-087-2 (т.1), ISBN 5-94282-088-0 (т.2)
- Публикации в Журнальном зале
- Публикации в Math-Net.ru, включая видеозаписи лекций
- Глава из книги «Апология математики»
- В. А. Успенский. Семь размышлений на темы философии математики // «Закономерности развития современной математики». М. Наука, 1987
- Владимир Успенский. Лекция «О математике как части культуры и проблеме Пуанкаре» на сайте премии «Просветитель»
- Персоналии по алфавиту
- Учёные по алфавиту
- Родившиеся 27 ноября
- Родившиеся в 1930 году
- Родившиеся в Москве
- Доктора физико-математических наук
- Математики по алфавиту
- Математики России
- Логики России
- Лингвисты России
- Учёные Москвы
- Выпускники механико-математического факультета МГУ
- Заслуженные профессора МГУ
- Ученики Колмогорова
Источник: Успенский, Владимир Андреевич
См. также в других словарях:
Лебедев, Сергей Александрович — Лебедев Сергей Александрович … Википедия
Эконометрика — Эконометрика наука, изучающая количественные и качественные экономические взаимосвязи с помощью математических и статистических методов и моделей[1]. Современное определение предмета эконометрики было выработано в уставе Эконометрического… … Википедия