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