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