Математическая логика
Реферат, 06 Ноября 2011
Математическая логика немало способствовала бурному развитию информационных технологий в XX веке, но из ее поля зрения выпало понятие "суждение", которое появилось в логике еще во времена Аристотеля и на котором, как на фундаменте, держится логическая основа естественного языка. Такое упущение отнюдь не способствовало развитию логической культуры общества и у многих даже породило иллюзию, что компьютеры способны мыслить не хуже самого человека.
Математическая логика
Контрольная работа, 15 Марта 2012
Логика - от (греческого –понятия, рассуждение, разум) наука о способах рассуждений и доказательств независимо от того где и для чего они используются.
Основатель математической логики Джордж Буль.
Теория математической логики
Реферат, 03 Апреля 2013
Задача математизации формальной логики была поставлена и осуществлена Лейбницем. Его работу продолжили математики XIX века. На рубеже столетия с открытием противоречий в теории множеств (см. гл. «Теория множеств») развитие математической логики получило широкий размах. В настоящее время результаты математической логики используются во всех традиционных областях формальной логики; открыты совершенно новые области. В настоящее время «традиционная» формальная логика по сравнению с математической логикой имеет значение только для истории науки.
Элементы математической логики, ее символы
Реферат, 13 Ноября 2011
Математическая логика тесно связана с логикой и обязана ей своим возникновением.
Алгебра логики (логика высказываний) - один из основных разделов математической логики, в котором методы алгебры используются в логических преобразованиях высказываний.
Высказывание - это термин математической логики, которым обозначается предложение какого-либо языка (естественного или искусственного), рассматриваемого лишь в связи с его истинностью.
Контрольная работа по "Математической логике и теории алгоритмов"
Контрольная работа, 19 Февраля 2013
I. Упростить формулы исчисления высказываний:
1) ((-q&-r) ~ -r)1 ~ (-r -> -q)2 = (-(-q&-r) )3&(r (-q&-r))~(-(-r) -q)4=
= ((q r) -r)5&(r (-q&-r)6)~a=
обозначим r -q=a
= (q (r -r)7&(a&(r -r)7~a= (q 1)&(a&1)~a=1&a~a=a~a=1
Для упрощения были использованы следующие формулы:
Математические слова и предложения. Развитие логического мышления при изучение элементов алгебры и математической логики
Дипломная работа, 03 Апреля 2012
Целью исследования является разработка методики формирования умений по теме «Алгебраический материал».