Автор работы: Пользователь скрыл имя, 13 Ноября 2011 в 18:24, реферат
Математическая логика тесно связана с логикой и обязана ей своим возникновением.
Алгебра логики (логика высказываний) - один из основных разделов математической логики, в котором методы алгебры используются в логических преобразованиях высказываний.
Высказывание - это термин математической логики, которым обозначается предложение какого-либо языка (естественного или искусственного), рассматриваемого лишь в связи с его истинностью.
1. История возникновения математической логики
2. Основное содержание, формулы, элементы, символы
3. Примеры задач
4. Применение математической логики
5. Список литературы