|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Алгебра и математическая логика -- история взаимодействиятезисы доклада
- Автор: Кузичева З.А.
- Сборник: Алгебра, теория чисел и дискретная геометрия: современные проблемы и приложения. Материалы XV международной конференции, посвященной столетию со дня рождения профессора Николая Михайловича Коробова
- Серия: Библиотека Чебышевского сборника
- Тезисы
- Год издания: 2018
- Место издания: ТГПУ им. Л.Н.Толстого Тула
- Первая страница: 337
- Последняя страница: 339
- Аннотация: Одним из стимулов введения в традиционную логику математических, особенно алгебраических, методов послужила аналогия между решением алгебраических уравнений и процессом вывода следствий из посылок в логике. Не случайно,первой формой математической логики явилась алгебра логики (булева алгебра), которая является алгебраической структурой -- решеткой (lattice).
- Добавил в систему: Кузичева Зинаида Андреевна