Успенский Владимир Андреевич
Успенский Владимир Андреевич
математик, лингвист и публицист, доктор физико-математических наук, профессор
- Год рождения:
- 1930
- Место рождения:
- г. Москва, СССР
Эта статья еще не написана, но вы можете сделать это.
Выходные данные:
- Просмотров: 1877
- Комментариев: 0
- Опубликовано: 28.02.2011
- Версий: 6 , текущая: 6
- Статус: экспертная
- Рейтинг: 0.0
Автор:
Золин Евгений Евгеньевич
- старший научный сотрудник; кандидат физико-математических наук
Ссылки отсюда
Ссылки сюда
Категории:
Авторские произведения: Успенский Владимир Андреевич
№ | Название | Год | Текст | Тип | Действия |
---|---|---|---|---|---|
1. |
Вводный курс математической логики |
1991 | — | ||
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых...
|