Ершов Юрий Леонидович

Категории |

Эта версия статьи от 28 Февраль 2011 16:49, редактировал Золин Евгений Евгеньевич
Список всех версий Перейти к списку версий
Перейти к последней версии

ученый в области алгебры и математической логики, информатики и прикладной логики

Эта статья еще не написана, но вы можете сделать это.

№	Название	Год	Текст	Тип	Действия
1.	Математическая логика	1987		—
	В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей вузов. Может...