Шпаргалка по "Математическая логика"
27 Июня 2013 в 11:48, шпаргалка
1. ЛОГИКА ТРАДИЦИОННАЯ И МАТЕМАТИЧЕСКАЯ ЛОГИКА. ПРЕДМЕТ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. ИСТОРИЯ РАЗВИТИЯ МАТЕМАТИЧЕСКОЙ ЛОГИКИ. 2
2. ВЫСКАЗЫВАНИЯ И ЛОГИЧЕСКИЕ ОПЕРАЦИИ НАД НИМИ. ТАБЛИЦЫ ИСТИННОСТИ. 3
3. ПОНЯТИЕ ФОРМУЛЫ АЛГЕБРЫ ВЫСКАЗЫВАНИЙ. ПОРЯДОК ВЫПОЛНЕНИЯ ЛОГИЧЕСКИХ ОПЕРАЦИЙ. 3
4. ЛОГИЧЕСКАЯ РАВНОСИЛЬНОСТЬ ФОРМУЛ. ОСНОВНЫЕ РАВНОСИЛЬНОСТИ. ЗАКОН ДВОЙСТВЕННОСТИ. 4
5. ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА И СОВЕРШЕННАЯ 'ДИЗЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (ДНФ И СДНФ). 5
6. КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА И СОВЕРШЕННАЯ КОНЪЮНКТИВНАЯ НОРМАЛЬНАЯ ФОРМА (КНФ И СКНФ). 5
Математическая логика и теория алгоритмов
11 Февраля 2013 в 19:29, лабораторная работа
Лабораторная работа № 1. Логика высказываний
Цель работы – научиться переводить выражения на естественном языке на язык логики высказываний. Научиться проверять логическое следствие.
Порядок выполнения
Ознакомиться с методическими указаниями
Решить цикл задач для самостоятельной работы.
Формализовать и решить задачу (номер задачи соответствует номеру бригады).
Придумать и решить аналогичную п.3 задачу. Задача должна содержать не менее 1-й импликации и хотя бы одну конъюнкцию или дизъюнкцию, и не менее 3-х логических переменных.
Проверить правильность решения задач из п.3 и 4 на ЭВМ (программа tautology.rb).
Оформить отчет.
Математическая логика и теория алгоритмов
11 Марта 2014 в 17:03, курс лекций
В современной логике логические процессы изучаются путем их отображения в формализованных языках или логических исчислениях. Построение исчисления отличается особой тщательностью, с которой формулируются его синтаксические и семантические правила, отсутствием исключений, характерных для естественного языка. Исследованием формального строения логических исчислений, правил образования и преобразования занимается логический синтаксис. Отношения между исчислениями и содержательными областями, служащими их интерпретациями или моделями, исследуются логической семантикой. Современная логика слагается из большого числа логических систем, описывающих отдельные фрагменты, или типы содержательных рассуждений. В данном курсе будут рассмотрены классические исчисление высказываний и исчисление предикатов первого порядка.
Джордж Буль. Развитие математической логики
21 Мая 2012 в 13:42, реферат
Логика – это наука, изучающая формы и законы мышления, закономерности мыслительного процесса. Слово «логика» произошло от греческого logos, что означает слово, понятие, рассуждение, разум. Законы и правила формальной логики необходимо знать для построения правильных рассуждений. Логические знания чрезвычайно важны для повышения эффективности мыслительной деятельности человека и предотвращения логических ошибок. Согласно основному принципу логики, правильность рассуждения (вывода) определяется только его логической формой (структурой) и не зависит от конкретного содержания входящих в него утверждений. Например, рассуждения «Все люди смертны. Сократ – человек. Следовательно, Сократ смертен» и «Все металлы электропроводны. Медь – металл. Следовательно, медь электропроводна» имеют одинаковую логическую структуру, называемую силлогизмом. Отличительная особенность правильного вывода состоит в том, что из истинных исходных утверждений всегда получаются истинные заключения. Это позволяет из одних истин получать другие с помощью только рассуждения, разума и без обращения к опыту.
История возникновения математической логики
03 Сентября 2013 в 20:20, реферат
Логика - наука древняя. Ее основоположником считают древнегреческого мыслителя Аристотеля . Он пытался найти ответ на вопрос "как мы рассуждаем", изучал правила мышления. Аристотель впервые дал систематическое изложение логики.
Методика изучения элементов алгебры и математической логики
27 Сентября 2013 в 15:42, курсовая работа
Работа над выражением тесно связано с изучением самих действий и оказывает большое влияние на владение школьниками такими понятиями, как равенства, неравенства, уравнения. И поэтому, недостаточно ясное представление о простейших выражениях сумме и разности двух чисел является причиной ошибок при выполнении первоклассниками ряда заданий. Только глубокое понимание структуры выражения и твердое знание правил порядка действий могут предупредить дальнейшее непонимание предмета.
Все это обязывает к необходимости разработки системы упражнений по формированию понятия выражения у учащихся начальной школы с учетом возникающих трудностей.
Контрольная работа по "Математической логике и теории алгоритмов"
25 Января 2013 в 02:23, контрольная работа
1. Отношение задано на множестве целых чисел {53, 43, 54, 42, 44, 60, 50, 20} . Для каждого из следующих отношений:
1.1 проверить, является ли отношение рефлексивным, симметричным,
антисимметричным (строгим, нестрогим), транзитивным;
1.2. построить матрицы и графы этих отношений;
1.3. определить являются ли эти отношения отношениями эквивалентности,
частичного порядка, линейного порядка;
1.4.. для отношений эквивалентности построить классы эквивалентности;
1.5. для отношений частичного порядка применить алгоритм топологической
сортировки и получить отношение строго порядка;
1.6. построить транзитивные замыкания всех отношений.
• xRy x и y имеют одинаковые остатки при делении на 3;
• xQy в наборе имеется элемент, больший x , но меньший y ;
2. Будет ли логичным следующее рассуждение: Если губернатор не имеет
соответствующего авторитета или если он не желает принимать на себя
ответственность, то порядок не будет восстановлен и волнения не прекратятся до
тех пор, пока участникам волнений это не надоест, и власти не начнут
примирительные действия. Следовательно, если губернатор не желает взять на себя
ответственность и участникам волнений это не надоест, то волнения не прекратятся.
Развитие логического мышления у дошкольников средствами логико-математических игр
09 Марта 2014 в 17:17, курсовая работа
Логическое мышление формируется на основе образного и является высшей стадией развития мышления. Достижение этой стадии - длительный и сложный процесс, так как полноценное развитие логического мышления требует не только высокой активности умственной деятельности, но и обобщенных знаний об общих и существенных признаках предметов и явлений действительности, которые закреплены в словах. Не следует ждать, когда ребенку исполнится 14 лет и он достигнет стадии формально - логических операций, когда его мышление приобретает черты, характерные для мыслительной деятельности взрослых. Начинать развитие логического мышления следует в дошкольном детстве.
Контрольные работы по "Элементам математической логики, Истории, Операционных системам, Электротехнике"
02 Сентября 2014 в 07:48, контрольная работа
Исследования в алгебре логики тесно связаны с изучением высказываний (хотя высказывание — предмет изучения формальной логики). Высказывание — это языковое образование, в отношении которого имеет смысл говорить о его истинности или ложности (Аристотель). Простым высказыванием называют повествовательное предложение, относительно которого имеет смысл говорить, истинно оно или ложно. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.