1508 читали · 4 года назад
Мат. логика простыми словами
В данной статье мы поговорим о математической логике, разберем основные операции и ассоциируем их с реальным миром. Математическая логика — это раздел современной формальной логики, в котором логические...
166 читали · 1 год назад
Тема 1.5: Элементы комбинаторики, теории множеств и математической логики
П.1 Высказывания Алгебра логики (высказываний) - раздел математической логики, изучающий высказывания и логические операции над ними. Высказывание(суждение) – любое повествовательное предложение в отношении которого можно однозначно сказать, истинно оно или ложно. Примеры высказываний: Высказываниями не являются: Алгебра логики (высказываний) работает с высказываниями. Различают: Истина: Аристотель - основоположник логики. Ложь: На яблонях растут бананы. А = {Аристотель - основоположник логики} – истина...
4 года назад
Введение в математическую логику
Мендельсон Эллиот (1976) В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств. Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики...