ОСНОВЫ ЛОГИКИ Логика Logos Логика понятие; суждение; умозаключение. Понятие понятием память компьютера Понятие содержание объём Содержание понятия

Save this PDF as:
 WORD  PNG  TXT  JPG

Размер: px
Начинать показ со страницы:

Download "ОСНОВЫ ЛОГИКИ Логика Logos Логика понятие; суждение; умозаключение. Понятие понятием память компьютера Понятие содержание объём Содержание понятия"

Транскрипт

1 ОСНОВЫ ЛОГИКИ Современная логика базируется на учениях древнегреческих мыслителей. Основы формальной логики заложены Аристотелем. Термин «Логика» происходит от греческого слова «Logos», означающего мысль, разум, познание. Логика это наука о формах и способах мышления, позволяющая строить формальные модели окружающего мира, отвлекаясь от содержательной стороны. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Процесс мышления изучается разными науками, в т.ч. и информатикой. Информатика изучает те аспекты мышления, которые связаны с быстрой и эффективной обработкой данных с помощью ЭВМ, взаимосвязь мышления и языка, методы и приёмы программирования, проблемы математического обеспечения ЭВМ и др. Процесс мышления всегда осуществляется в каких-то формах Основными формами мышления являются: понятие; суждение; умозаключение. Понятие форма мышления, фиксирующая основные, существенные признаки объекта, отличающие его от других объектов. Объекты, объединённые понятием, образуют некоторое множество. Например, понятие «память компьютера» объединяет множество устройств, предназначенных для хранения информации. В это множество входят: оперативная память, жёсткий диск, дискета, компакт-диск и др. и не входят: бумага, сейф, мозг и др. Понятие имеет две стороны: содержание и объём. Содержание понятия составляет совокупность существенных признаков, выделяющих данный объект из множества других объектов. Например, содержание понятия «человек (homo sapiens)» наличие высокоразвитого мозга. Объём понятия определяет совокупность предметов, на которые это понятие распространяется. Например, объём понятия «человек (homo sapiens)» это 6 миллиардов обитателей нашей планеты. Суждение форма мышления, при помощи которой человек выносит утвердительные или отрицательные мнения о свойствах предметов и отношениях между ними. Суждение представляет собой форму, при помощи которой человек формулирует своё понимание окружающей среды. Оно может быть выражено как с помощью естественных языков («Два умножить на два равно четырём»), так и с помощью формальных языков («2 2 = 4»). Суждение может быть либо истинным, либо ложным. Суждение считается истинным, если оно правильно отражает свойства реальных вещей и их отношения («Земля планета, входящая в состав Солнечной системы»), и ложным, когда оно не соответствует реальной действительности («Россия чемпион мира по футболу»). Суждение строится на основе понятий и, по форме, является повествовательным предложением. Оно может быть выражено только в повествовательной форме. Истинность или ложность повелительного или вопросительного суждения оценить невозможно. Истинность и ложность суждений носят относительный ха-

2 рактер («Земля плоская, покоится на трёх слонах, те на трёх китах и т.д.»). Из двух простых суждений может быть построено составное суждение. Истинность или ложность простых суждений устанавливается в результате соглашений, на основании здравого смысла. Умозаключение форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (умозаключение). Посылками умозаключения могут быть лишь истинные суждения, иначе можно прийти к ложному умозаключению. если число делится на 2 без остатка, оно является чётным; число 10 делится на 2 без остатка. 10 чётное число истинное умозаключение. АЛГЕБРА ВЫСКАЗЫВАНИЙ На основании простых суждений, соединённых при помощи логических связок, могут быть построены составные суждения. Истинность или ложность простых суждений определяется на основании алгебры высказываний или алгебры логики. Алгебра высказываний была разработана в середине XIX века английским математиком Джорджем Булем и получила название «Булевой алгебры». Целью «Булевой алгебры» является определение истинности или ложности составных высказываний, не вникая в их содержание. В «Булевой алгебре» простым высказываниям (суждениям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита, которые могут принимать одно из двух возможных значений (истина 1, ложь 0). A «дискета это устройство хранения данных» (истина, A = 1); B «процессор это устройство вывода» (ложь, B = 0). В алгебре высказываний над переменными можно производить определённые логические операции, в результате которых получаются составные высказывания. Высказывания, не являющиеся составными, называются простыми или элементарными. Для образования составных высказываний используются базовые логические связки: «И», «ИЛИ», «НЕ». Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет своё название и обозначение. Для установления соответствия между возможными наборами значений логических переменных и результатами логических высказываний, разработаны специальные таблицы, называемые таблицами истинности. 1) Конъюнкция (логическое умножение) это объединение двух или нескольких простых высказываний в одно при помощи союза «И». Результат логического умножения будет истинным в том случае, когда истинны все входящие в него простые высказывания. A = «Два умноженное на два равно четырём»; B = «Три умноженное на три равно девяти»; C = «Пять умноженное на пять равно тридцати». В формализованном виде операция логического умножения обозначается символами: «& или ٨», а функция логического умножения двух простых высказываний выглядит как: F1 = A&B, либо F2 = B٨C. Сама функция F, также может 2

3 принимать одно из двух возможных значений. Результаты выполнения логических умножений равны: F1 = 1, F2 = 0. Таблица истинности, для операции логического умножения, выглядит следующим A B F = A&B ) Дизъюнкция (логическое сложение) это объединение двух или нескольких простых высказываний в одно при помощи союза «ИЛИ». Результат логического сложения будет истинным в том случае, когда истинно хотя бы одно из входящих в него простых высказываний. A = «Два умноженное на два равно четырём»; B = «Три умноженное на три равно двадцати»; C = «Пять умноженное на пять равно тридцати». В формализованном виде операция логического сложения обозначается символом «٧», а функция логического сложения двух простых высказываний выглядит как: F1 = A٧B, либо F2 = B٧C. Результаты выполнения логических сложений равны: F1 = 1, F2 = 0. Таблица истинности, для операции логического сложения, выглядит следующим A B F = A٧B ) Инверсия (логическое отрицание) это присоединение частицы «НЕ» к простому высказыванию. Результат логического отрицания будет истинным, если исходное высказывание ложно и, наоборот, ложным, если исходное высказывание истинно. A = «Два умноженное на два равно четырём». В формализованном виде операция логического отрицания обозначается символом «Ā», а функция логического отрицания как: F1 = Ā. Результат выполнения логического отрицания равен: F1 = 0. Таблица истинности, для операции логического отрицания, выглядит следующим A F = Ā ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ Каждое составное высказывание можно выразить в виде формулы (логического выражения), состоящей из логических переменных и знаков логических опе- 3

4 раций. Для записи логического выражения необходимо выделить в нём простые высказывания и логические связки. А = «2 2 = 5» ложь (0); В = «3 3 = 9» истина (1). Значение логической функции F A& B будет равно: F = 1&0 = 0 При составлении таблицы истинности, для логической формулы, количество строк в ней определяется как: 2 n, где n количество логических переменных в данной формуле. Для данной формулы таблица истинности будет выглядеть следующим A B A B F A& B При выполнении логических операций определён следующий порядок их следования: 1) Инверсия; 2) Конъюнкция; 3) Дизъюнкция. Для изменения данного порядка можно использовать скобки. 1. Логическое следование (импликация) образуется за счёт соединения двух простых высказываний с помощью логической связки «ЕСЛИ..., ТО...». В формализованном виде операция логического следования обозначается «A B», а функция логического следования как: F1 = A B. Результат операции логического следования ложен тогда и только тогда, когда из истинной посылки (первое высказывание) следует ложный вывод (второе высказывание). Таблица истинности, для операции логического следования, выглядит следующим A B F = A B Логическое равенство (эквивалентность) образуется за счёт соединения двух простых высказываний с помощью логической связки «... ТОГДА И ТОЛЬКО ТОГДА, КОГДА...». В формализованном виде операция логического равенства обозначается «A ~ B», а функция логического равенства как: F1 = A ~ B. Результат операции логического равенства есть истина тогда и только тогда, когда истинны или ложны оба, входящие в него простые высказывания. Таблица истинности, для операции логического равенства, выглядит следующим 4

5 A B F = A ~ B ЗАКОНЫ ЛОГИКИ Отображают наиболее важные законы логического мышления. 1. Закон тождества всякое высказывание тождественно самому себе (А = А). 2. Закон непротиворечия высказывание не может быть одновременно и истинным, и ложным. Логическое произведение простого высказывания и его отрицания должно быть ложным (А&Ā = 0). 3. Закон исключённого третьего всякое высказывание может быть либо истинным, либо ложным, третьего не дано. Логическое сложение высказывания и его отрицания всегда есть истина (А٧Ā = 1). 4. Закон двойного отрицания если дважды отрицать какое-либо высказывание, то, в результате, получится исходное высказывание ( A A ). Законы де Моргана отражают суть логических преобразований. 1. Закон коммуникативности. От перемены мест логических переменных результаты логического умножения и логического сложения не изменяются. A&B = B&A A٧B = B٧A 2. Закон ассоциативности. Если в логическом выражении используются только операции логического умножения или только операции логического сложения, то можно пренебречь скобками или расставлять их произвольно. (A&B)&C = A&(B&C) = A&B&C (A٧B)٧C = A٧(B٧C) = A٧B٧C 3. Закон дистрибутивности. В алгебре высказываний за скобки можно выносить как общие множители, так и общие слагаемые. (A&B)٧(A&C) = A&(B٧C) (A٧B)&(A٧C) = A٧(B&C) ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА Базовый логический элемент это часть электронной схемы компьютера, которая реализует выполнение элементарных логических операций: «И», «ИЛИ», «НЕ». Т.к. любая логическая функция может быть представлена в виде комбинации базовых логических операций, то и устройства компьютера, производящие обработку и хранение информации, могут быть собраны из базовых логических элементов. Логические элементы компьютера работают с электрическими импульсами. Наличие импульса характеризуется состоянием, равным «1 истина», отсутствие 5

6 импульса состоянием равным «0 ложь». Сигналы на входах логических элементов являются аргументами, сигналы на выходах функциями. БАЗОВЫЕ ЛОГИЧЕСКИЕ ЭЛЕМЕНТЫ Логический элемент «И» реализует функцию логического умножения (конъюнкции). Логический элемент «ИЛИ» реализует функцию логического сложения (дизъюнкции). Логический элемент «НЕ» реализует функцию логического отрицания (инверсии). На основе трёх базовых логических элементов можно выполнять арифметические действия над числами, представленными в виде нулей и единиц. СУММАТОР Компьютер оперирует с числами, представленными в двоичной системе счисления. Микропроцессор компьютера устроен таким образом, что все математические операции в нём сводятся к сложению двоичных чисел, поэтому главными элементами микропроцессора являются «сумматоры», обеспечивающие такое сложение. При сложении двоичных чисел в каждом разряде образуется сумма, а также возможен перенос в старший разряд. Таблица сложения одноразрядных двоичных чисел, с учётом переноса в старший разряд, выглядит следующим A B Перенос, P Сумма, S Из таблицы видно, что функция переноса (P) реализуется за счёт операции логического умножения, т.е. P = A&B, а суммирование (S) осуществляется за счёт выполнения последовательности логических операций: S ( A B) & ( A & B). ТРИГГЕР Триггер является важнейшей структурной единицей оперативной памяти и внутренних регистров микропроцессора. Это устройство, имеющее два устойчивых 6

7 состояния и позволяющее хранить, и считывать один бит информации. Он строится на основе двух логических элементов «ИЛИ» и двух логических элементов «НЕ». Триггер имеет два входа: установочный вход (Set) и вход сброса (Reset) и выход Q. В обычном состоянии, когда на оба входа триггера подан сигнал «0», то и на выходе Q триггера тоже хранится «0». При подаче на S-вход триггера сигнала «1», на Q-выходе тоже появляется «1». Для обнуления входов и выходов триггера необходимо подать сигнал «1» на R-вход. S R Q Логическая схема и таблица состояния входов и выходов триггера R=1 --- обнуление 7

Основы логики и логические основы компьютера. Логика это наука о формах и способах мышления.

Основы логики и логические основы компьютера. Логика это наука о формах и способах мышления. Основы логики и логические основы компьютера. Формы мышления Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения,

Подробнее

Элементы логики. Учебная презентация для 11 класса

Элементы логики. Учебная презентация для 11 класса Элементы логики Учебная презентация для 11 класса Определение Логика это наука о формах и способах мышления Формы мышления понятие суждение (высказывание, утверждение) умозаключение Понятие Понятие это

Подробнее

Тема 9. Логические основы ЭВМ.

Тема 9. Логические основы ЭВМ. Тема 9. Логические основы ЭВМ. 1. Логика. Информация, обрабатываемая в ЭВМ, представляется с помощью физических величин, которые могут принимать только два устойчивых состояния и называются «двоичные переменные».

Подробнее

Основные понятия формальной логики

Основные понятия формальной логики Основные понятия формальной логики Элементы логики Умение правильно рассуждать необходимо в любой области человеческой деятельности. Логика, как наука о том какие формы рассуждений правильны возникла немногим

Подробнее

Глава 3 ЛОГИКА И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА

Глава 3 ЛОГИКА И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА Глава 3 ЛОГИКА И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА 3.1. Алгебра логики Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат

Подробнее

Высказывания. Алгебра высказываний. Законы алгебры логики.

Высказывания. Алгебра высказываний. Законы алгебры логики. Высказывания. Алгебра высказываний. Законы алгебры логики. Вся история человечества - это решение многих житейских задач. Только умение здраво мыслить, рассуждать, доказывать и делать выводы позволяет

Подробнее

Галанина Ольга Владимировна https://vk.com/hariola https://www.youtube.com/channel/uc1ao53e1umtgbsb5qlklpmg ИНФОРМАТИКА

Галанина Ольга Владимировна https://vk.com/hariola https://www.youtube.com/channel/uc1ao53e1umtgbsb5qlklpmg ИНФОРМАТИКА Галанина Ольга Владимировна https://vk.com/hariola https://www.youtube.com/channel/uc1ao53e1umtgbsb5qlklpmg ИНФОРМАТИКА Системы счисления. Алгебра логики. Логические основы ЭВМ Фамилия Имя Отчество Группа

Подробнее

Основы логики. Суханова Татьяна Александровна, учитель информатики и ИКТ, МАОУ «Гимназия 1»

Основы логики. Суханова Татьяна Александровна, учитель информатики и ИКТ, МАОУ «Гимназия 1» Основы логики Логика это наука о формах и способах мышления. Основы формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания. 2 Мышление осуществляется

Подробнее

алгебраические методы высказывания Логическое высказывание

алгебраические методы высказывания Логическое высказывание Алгебра логики Алгебра логики формальная логическая теория, раздел математической логики, разработанный в XIX веке английским математиком Джорджем Булем. В алгебре логики используются алгебраические методы

Подробнее

Бабкина Наталья Анатольевна

Бабкина Наталья Анатольевна Бабкина Наталья Анатольевна Основы алгебры-логики. Цели- задачи: Знать: Основные понятия и законы алгебры логики. Уметь: Составлять выражения по сложным высказываниям, составлять таблицы истинности, упрощать

Подробнее

Теоретические основы информатики Лекция 4. Основы алгебры логики. Доцент кафедры «Информационные системы» Тронин Вадим Георгиевич

Теоретические основы информатики Лекция 4. Основы алгебры логики. Доцент кафедры «Информационные системы» Тронин Вадим Георгиевич Теоретические основы информатики Лекция 4. Основы алгебры логики. Доцент кафедры «Информационные системы» Тронин Вадим Георгиевич 1 4. Основы алгебры логики. 4.1. Основы алгебры Буля. 4.2. Представление

Подробнее

Основные понятия алгебры логики.

Основные понятия алгебры логики. Основные понятия алгебры логики. Для математического описания работы вычислительных устройств и их программного проектирования широко используется алгебра логики (булевская алгебра). Алгебра логики - часть

Подробнее

Основы логики. Логические операции и таблицы истинности

Основы логики. Логические операции и таблицы истинности Основы логики. Логические операции и таблицы истинности Основы логики. Логические операции и таблицы истинности На данной странице будут рассмотрены 6 логических операций: конъюнкция, дизъюнкция, инверсия,

Подробнее

Логические основы работы ЭВМ

Логические основы работы ЭВМ Министерство образования и науки Российской Федерации Государственное образовательное учреждение высшего профессионального образования «Тихоокеанский государственный университет» Логические основы работы

Подробнее

Тождества Булевой алгебры

Тождества Булевой алгебры Тождества Булевой алгебры Основная задача математической логики на основании ложности или истинности простых высказываний определить значение сложного высказывания. Логические операции алгебре высказываний

Подробнее

Аксиоматический метод

Аксиоматический метод Аксиоматический метод Лекция по предмету «основы мат. Обработки информации» Составитель: доцент кафедры ИТОиМ КГПУ им. В.П. Астафьева Романова Н.Ю. Аксиоматический метод построения научной теории заключается

Подробнее

Логические основы ЭВМ. Алгебра логики

Логические основы ЭВМ. Алгебра логики Логические основы ЭВМ. Алгебра логики Основные понятия Логика наука о законах и формах мышления, методах познания и условия определения истинности знаний и суждений. Понятие форма мышления, фиксирующая

Подробнее

Информатика и ИКТ Лекция 6 1 курс

Информатика и ИКТ Лекция 6 1 курс Информатика и ИКТ Лекция 6 1 курс ФГОУ СПО "УМТК" Кондаратцева Т.П. 1 Принципы обработки информации компьютером. Арифметические и логические основы работы компьютера ФГОУ СПО "УМТК" Кондаратцева Т.П. 2

Подробнее

ЛАБОРАТОРНАЯ РАБОТА 2 АЛГЕБРА ЛОГИКИ. Общие теоретические сведения

ЛАБОРАТОРНАЯ РАБОТА 2 АЛГЕБРА ЛОГИКИ. Общие теоретические сведения Время выполнения 4 часа. ЛАБОРАТОРНАЯ РАБОТА 2 АЛГЕБРА ЛОГИКИ Цель работы Изучить основы алгебры логики. Задачи лабораторной работы В результате прохождения занятия студент должен: 1) знать: определения

Подробнее

Информатика и ИКТ Лекция 7 1 курс

Информатика и ИКТ Лекция 7 1 курс Информатика и ИКТ Лекция 7 курс ГБОУ СПО "УМТК" Кондаратцева Т.П. Принципы обработки информации компьютером. Арифметические и логические основы работы компьютера ГБОУ СПО "УМТК" Кондаратцева Т.П. 2 Принципы

Подробнее

Основные логические элементы Работа с базовыми логическими элементами Работа и особенности логических элементов ЭВМ Цель работы:

Основные логические элементы Работа с базовыми логическими элементами Работа и особенности логических элементов ЭВМ Цель работы: Тема программы: Основные логические элементы Лабораторная работа 1 Работа с базовыми логическими элементами Лабораторная работа 2 Работа и особенности логических элементов ЭВМ Цель работы: Изучить основы

Подробнее

Тема урока: Основы логики.

Тема урока: Основы логики. Аксютин Алексей Сергеевич Учитель информатики и ИКТ МБОУ «Арсеньевская СОШ» Тема урока: Основы логики. Цели: 1. Введение в предмет Алгебра логики. 2. Сформировать у учащихся понятия: формы мышления, алгебра

Подробнее

Логика наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний.

Логика наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Логика наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Основы логики как науки были заложены в IV в. до н. э. древнегреческим

Подробнее

Математические основы персонального компьютера ОСНОВЫ ТЕОРИИ МНОЖЕСТВ

Математические основы персонального компьютера ОСНОВЫ ТЕОРИИ МНОЖЕСТВ Математические основы персонального компьютера ОСНОВЫ ТЕОРИИ МНОЖЕСТВ Основы теории множеств Множество это совокупность определенных различаемых объектов, причем таких, что для каждого можно установить,

Подробнее

Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний»

Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний» Методические рекомендации к уроку «Алгебра высказываний. Основные операции алгебры высказываний» Цели урока: Образовательная: ознакомить учащихся с понятиями логика, алгебра логики, понятие, высказывание,

Подробнее

{ основные понятия - составление сложных выражений - таблицы истинности - законы логики высказываний - примеры }

{ основные понятия - составление сложных выражений - таблицы истинности - законы логики высказываний - примеры } { основные понятия - составление сложных выражений - таблицы истинности - законы логики высказываний - примеры } Исходным понятием логики высказываний является простое или элементарное высказывание. Это

Подробнее

Лабораторная работа 4 «Логические основы компьютеров»

Лабораторная работа 4 «Логические основы компьютеров» Лабораторная работа 4 «Логические основы компьютеров» Цель работы: изучить теоретические основы логики функционирования компьютеров, приобрести практические навыки построения логических формул и таблиц

Подробнее

Логический элемент это часть электронной логичеcкой схемы, которая реализует элементарную логическую функцию.

Логический элемент это часть электронной логичеcкой схемы, которая реализует элементарную логическую функцию. 3. Элементы схемотехники. Логические схемы Цели: - познакомиться с элементами и принципами построения логических схем; - закрепить понимание основных законов алгебры логики; - учиться упрощать логические

Подробнее

Архитектура электронновычислительных. вычислительные системы

Архитектура электронновычислительных. вычислительные системы «Национальный открытый институт г.санкт-петербург» Рыбакова Е.А Архитектура электронновычислительных машин и вычислительные системы Методические указания к выполнению контрольной работы Рекомендовано Методической

Подробнее

ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ

ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ ИСТОРИЯ НАУКИ АЛГЕБРЫ ЛОГИКИ Урок «Формальная логика» Урок «Алгебра логики» Федорова Л.Я., учитель ГБОУ СОШ 307 Цель урока: Поиск и обработка информации по темам: «Формальная логика» и «Алгебра логики»

Подробнее

Арифметика Что такое система счисления? Система счисления это способ записи чисел с помощью заданного набора специальных знаков (цифр).

Арифметика Что такое система счисления? Система счисления это способ записи чисел с помощью заданного набора специальных знаков (цифр). Арифметика 1.1. Что такое система счисления? Система счисления это способ записи чисел с помощью заданного набора специальных знаков (цифр). Существуют позиционные и непозиционные системы счисления. В

Подробнее

МАОУ «Гимназия 1» Основы логики. 10 класс

МАОУ «Гимназия 1» Основы логики. 10 класс МАОУ «Гимназия 1» Основы логики 10 класс РАЗВИТИЕ ЛОГИКИ I. Аристотель (384-322 гг. до н.э.) основатель формальной логики. Он пытался найти ответ на вопрос: «Как мы рассуждаем?», изучал правила мышления.

Подробнее

МОУ «Аракская средняя (полная) общеобразовательная школа им. Г.Г.Гюльмагомедова» Табасаранского района РД

МОУ «Аракская средняя (полная) общеобразовательная школа им. Г.Г.Гюльмагомедова» Табасаранского района РД МОУ «Аракская средняя (полная) общеобразовательная школа им. Г.Г.Гюльмагомедова» Табасаранского района РД Тема урока: «Построение таблиц истинности» Тип урока: Изучение нового материала Цель урока: Сформировать

Подробнее

Оглавление Основные понятия алгебры логики

Оглавление Основные понятия алгебры логики Оглавление 1.1.1. Основные понятия алгебры логики... 1 1.1.2. Логические основы ЭВМ... 9 1.1.3. Вопросы для самоконтроля... 11 1.1.1. Основные понятия алгебры логики Алгебра логики (булева алгебра) изучает

Подробнее

Задание 2. Значение логического выражения

Задание 2. Значение логического выражения Задание 2. Значение логического выражения Логические высказывания и переменные Логическое высказывание (Л.В.) это высказывание, в отношении которого можно однозначно сказать, истинно оно или ложно. Внимание!

Подробнее

Практическая работа 2 Таблицы истинности логических высказываний.

Практическая работа 2 Таблицы истинности логических высказываний. Практическая работа 2 Таблицы истинности логических высказываний. Цель работы: Построение таблиц истинности логических высказываний. Содержание работы: Основные понятия. 1 Логика наука о законах и формах

Подробнее

Лекция 2. Теоретические основы информатики. - Системы счисления - Элементы алгебры логики

Лекция 2. Теоретические основы информатики. - Системы счисления - Элементы алгебры логики Лекция 2. Теоретические основы информатики - Системы счисления - Элементы алгебры логики Цели лекции Иметь представление о применении двоичной и производных от нее системах счисления и алгебры логики в

Подробнее

Алгебра логики. Краевой конкурс учебно-исследовательских и проектных работ учащихся «Прикладные вопросы математики» Алгебра

Алгебра логики. Краевой конкурс учебно-исследовательских и проектных работ учащихся «Прикладные вопросы математики» Алгебра Краевой конкурс учебно-исследовательских и проектных работ учащихся «Прикладные вопросы математики» Алгебра Алгебра логики Семушева Алена Сергеевна, МОУ «Лицей» г. Перми, кл. Боркова Ольга Владимировн,

Подробнее

Лекция 12. Тема: Элементы цифровых устройств

Лекция 12. Тема: Элементы цифровых устройств Лекция Тема: Элементы цифровых устройств В радиотехнических системах, технике связи, телевидении и т. д. широко используют импульсные и цифровые устройства. импульсным относят устройства, работающие в

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика.

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика. Доля П.Г. Харьковский Национальный Университет механико математический факультет Дискретная математика. Конспект лекций. Оглавление 1. Алгебра высказываний и логика. 1.1 Высказывания и логические операции...

Подробнее

Алгебра логики (высказываний)

Алгебра логики (высказываний) лгебра логики (высказываний) 1 лгебра в широком смысле этого слова наука об общих операциях, аналогичных сложению и умножению, которые могут выполняться не только над числами, но и над другими математическими

Подробнее

Основы алгебры логики

Основы алгебры логики Расчетная работа 4 Основы алгебры логики Поскольку в цифровых устройствах используются только два символа 0 и 1, алгебра логики использует логические переменные и функции от них, которые также принимают

Подробнее

Проблемы, возникающие в ходе подготовки учащихся ых классов к итоговой аттестации в форме ЕГЭ по информатике и ИКТ

Проблемы, возникающие в ходе подготовки учащихся ых классов к итоговой аттестации в форме ЕГЭ по информатике и ИКТ ГБОУ ВО Московской области «Академия социального управления» Кафедра информационно-коммуникационных технологий Проблемы, возникающие в ходе подготовки учащихся 10-11-ых классов к итоговой аттестации в

Подробнее

Лекция 3. Логические основы ЭВМ, элементы и узлы.

Лекция 3. Логические основы ЭВМ, элементы и узлы. АРХИТЕКТУРА ЭВМ И ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ Лекция 3. Логические основы ЭВМ, элементы и узлы. Преподаватель Цвелой Владимир Андреевич ЦЕЛЬ: ИЗУЧИТЬ ОСНОВНЫЕ ОПЕРАЦИИ АЛГЕБРЫ ЛОГИКИ, ОСНОВЫ ПОСТРОЕНИЯ КОМБИНАЦИОННЫХ

Подробнее

Раздел 2. Основы логики высказываний.

Раздел 2. Основы логики высказываний. Лекция 2 Раздел 2. Основы логики высказываний. Высказывание. Операции над высказываниями: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность. Истинностные таблицы. Пропозициональные буквы,

Подробнее

Краткие теоретические сведения... 3 Логика Алгебра логики Пример 1 задания с одним ответом Пример 2 задания с одним ответом...

Краткие теоретические сведения... 3 Логика Алгебра логики Пример 1 задания с одним ответом Пример 2 задания с одним ответом... Краткие теоретические сведения... 3 Логика... 3 Алгебра логики... 5 Пример 1 задания с одним ответом... 6 Пример 2 задания с одним ответом... 7 Логические операции... 7 Таблицы истинности... 10 Логические

Подробнее

Некоторые примеры эквивалентностей (, обозначают произвольные формулы; ради удобства, крайние скобки часто не пишутся):

Некоторые примеры эквивалентностей (, обозначают произвольные формулы; ради удобства, крайние скобки часто не пишутся): ЛЕКЦИЯ Предмет математической логики Высказывания. Логические связки: конъюнкция, дизъюнкция, импликация, эквиваленция, отрицание. Фиксируем бесконечный список пропозициональных букв (их также называют

Подробнее

Основы математической логики.

Основы математической логики. Основы математической логики. Киселев Александр Сергеевич Аничков лицей, 6 класс, первый год обучения январь-февраль 2012/13 учебный год 1 Высказывания и предикаты 1.1 Высказывания Определение 1.1. Определение:

Подробнее

Логические функции двух и трех переменных. Способы задания логических функций. Формулы и таблицы истинности.

Логические функции двух и трех переменных. Способы задания логических функций. Формулы и таблицы истинности. Логические функции двух и трех переменных. Способы задания логических функций. Формулы и таблицы истинности. Логическая переменная переменная, принимающая два значения: истина и ложь. Логическая функция

Подробнее

Логические операции трехзначной логики

Логические операции трехзначной логики ВА Бубнов Московский городской педагогический университет Электронный научный журнал «Вестник Омского государственного педагогического университета» Выпуск 6 wwwomskedu Логические операции трехзначной

Подробнее

Математика (БкПл-100)

Математика (БкПл-100) Математика (БкПл-100) М.П. Харламов 2011/2012 учебный год, 1-й семестр Лекция 4. Высказывания и логические операции 1 Введение Человек с древних времен стремился познать законы правильного мышления, то

Подробнее

ОГЛАВЛЕНИЕ. Глава 2. Дискретные функции Способы задания булевых функций Замкнутые классы булевых функций.

ОГЛАВЛЕНИЕ. Глава 2. Дискретные функции Способы задания булевых функций Замкнутые классы булевых функций. ОГЛАВЛЕНИЕ Предисловие............................. 3 Глава 1. Математическая логика................. 4 1. Алгебра высказываний.................. 4 2. Булевы алгебры...................... 12 3. Исчисление

Подробнее

Законы алгебры логики

Законы алгебры логики Законы алгебры логики Это интересно! Математика и закон де Моргана Как вы запишите математически принадлежность точки x отрезку [2;5]? Это можно сделать так: 2 x 5. Это означает, что одновременно должны

Подробнее

A, B логические переменные, принимающие значения ИСТИНА (1) или ЛОЖЬ (0);

A, B логические переменные, принимающие значения ИСТИНА (1) или ЛОЖЬ (0); МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ К ВЫПОЛНЕНИЮ ЗАДАНИЯ КОНТРОЛЬНОЙ РАБОТЫ 2 «Построение таблицы истинности логической функции и запись функции в СДНФ и СКНФ» В алгебре логики различают две формы записи логических

Подробнее

Электрооборудование и электронные системы транспортных средств

Электрооборудование и электронные системы транспортных средств Электрооборудование и электронные системы транспортных средств ДМ_Э_03_01_02 «Арифметические и логические основы» Автомеханик 5-го разряда филиал КСТМиА УО «РИПО» Минск 2016 Занятие 1. Содержание 1. Аналоговые

Подробнее

5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ

5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ 5. МЕТОДИЧЕСКИЕ РЕКОМЕНДАЦИИ ПО ПРАКТИЧЕСКИМ ЗАНЯТИЯМ Практическое занятие 1. Алгебра высказываний 1.1 Высказывания и операции над ними Под высказыванием понимают предложение, представляющее собой утверждение,

Подробнее

Лекция Раздел 3. Основы логики предикатов. Понятие предиката. Операции над предикатами. Квантор всеобщности и квантор существования.

Лекция Раздел 3. Основы логики предикатов. Понятие предиката. Операции над предикатами. Квантор всеобщности и квантор существования. Лекция Раздел 3. Основы логики предикатов. Понятие предиката. Операции над предикатами. Квантор всеобщности и квантор существования. Термы, элементарные формулы и формулы логики предикатов. Свободные и

Подробнее

Лекция 3 Булевы алгебры и булевы функции

Лекция 3 Булевы алгебры и булевы функции Лекция 3 Булевы алгебры и булевы функции Булевы алгебры Понятие об алгебраических системах Алгебраическая система или алгебраическая структура множество символов некоторого алфавита (носитель) с заданным

Подробнее

A9 (базовый уровень, время 2 мин)

A9 (базовый уровень, время 2 мин) A9 (базовый уровень, время 2 мин) Тема: Построение таблиц истинности логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

B4 (высокий уровень, время 10 мин)

B4 (высокий уровень, время 10 мин) B4 (высокий уровень, время 1 мин) Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ),

Подробнее

1.Основные сведения из алгебры логики

1.Основные сведения из алгебры логики Тема 4. Логические основы ЭВМ 1.ОСНОВНЫЕ СВЕДЕНИЯ ИЗ АЛГЕБРЫ ЛОГИКИ... 1 2. ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ... 4 3. ПОНЯТИЕ О МИНИМИЗАЦИИ ЛОГИЧЕСКИХ ФУНКЦИЙ... 6 4.ТЕХНИЧЕСКАЯ ИНТЕРПРЕТАЦИЯ ЛОГИЧЕСКИХ ФУНКЦИЙ...

Подробнее

Простейшие преобразователи информации

Простейшие преобразователи информации 1 Простейшие преобразователи информации Математическая логика с развитием вычислительных машин оказалась в тесной взаимосвязи с вычислительной математикой, со всеми вопросами конструирования и программирования

Подробнее

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование»

Московский государственный технический университет имени Н.Э. Баумана. Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ ÌÃÒÓ Московский государственный технический университет имени Н.Э. Баумана Факультет «Фундаментальные науки» Кафедра «Математическое моделирование» À.Í. Êàíàòíèêîâ ÄÈÑÊÐÅÒÍÀß ÌÀÒÅÌÀÒÈÊÀ

Подробнее

Лекция 3: множества и логика

Лекция 3: множества и логика Лекция 3: множества и логика Дискретная математика, ВШЭ, факультет компьютерных наук (Осень 2014 весна 2015) Мы уже использовали понятие множества и в дальнейшем будем его использовать постоянно. Сейчас

Подробнее

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА

ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА ЛЕКЦИЯ 2 БУЛЕВЫ ФУНКЦИИ. ТЕОРЕМА ОБ ОДНОЗНАЧНОСТИ РАЗБОРА 1. Булевы функции. Таблицы истинности Определение 11: Булева функция это функция с булевыми аргументами и булевыми значениями, то есть: f {0, 1}

Подробнее

Текст вопроса 1 Дайте определение понятию символ 2 Дайте определение понятию код 3 Дайте определение понятию коньюнкция 4

Текст вопроса 1 Дайте определение понятию символ 2 Дайте определение понятию код 3 Дайте определение понятию коньюнкция 4 Название теста: Схемотехника Предназначено для студентов специальности: спец._ис_( 2 курс_3_ г.о.) Отделение рус. ОЧНОЕ Текст вопроса 1 Дайте определение понятию символ 2 Дайте определение понятию код

Подробнее

Гурская К.А., Ивин В.В., Семёнов С.М. Решение задач математической логики в ЕГЭ по информатике

Гурская К.А., Ивин В.В., Семёнов С.М. Решение задач математической логики в ЕГЭ по информатике Гурская К.А., Ивин В.В., Семёнов С.М. Решение задач математической логики в ЕГЭ по информатике 1 УДК 004.9 Гурская К.А., Ивин В.В., Семёнов С.М. Учебное пособие «Решение задач математической логики в ЕГЭ

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств.

Дискретная математика. Конспект лекций. Оглавление. 2. Алгебра множеств. Доля П.Г. Харьковский Национальный Университет механико математический факультет 014 г. Дискретная математика. Конспект лекций. Оглавление. Алгебра множеств..1 Понятие множества... 1. Операции над множествами...

Подробнее

18 (повышенный уровень, время 3 мин)

18 (повышенный уровень, время 3 мин) 18 (повышенный уровень, время 3 мин) К. Поляков, 2009-2016 Тема: Основные понятия математической логики. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной»

Подробнее

Конспект по теме: Основы алгебры логики. Решение логических задач. Учитель информатики Батракова Л.В.

Конспект по теме: Основы алгебры логики. Решение логических задач. Учитель информатики Батракова Л.В. Логика это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Высказывание (суждение) некоторое предложение, которое

Подробнее

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика.

Дискретная математика. Конспект лекций. Оглавление. 1. Алгебра высказываний и логика. Доля П.Г. Харьковский Национальный Университет механико математический факультет кафедра геометрии им. А.В. Погорелова Дискретная математика. Конспект лекций. Оглавление 1. Алгебра высказываний и логика.

Подробнее

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «МАМИ» Н.Т. Катанаев, Е.М. Паневина

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «МАМИ» Н.Т. Катанаев, Е.М. Паневина МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ «МАМИ» Н.Т. Катанаев, Е.М. Паневина Методические указания по выполнению расчетно-графической работы

Подробнее

Позиционные системы счисления

Позиционные системы счисления Позиционные системы счисления Позиционная система счисления система счисления, в которой значение цифры в записи числа зависит от её позиции в числе. Число это абсолютное понятие, выражающее количество.

Подробнее

Битовые операции в задачах КИМ по информатике

Битовые операции в задачах КИМ по информатике Битовые операции в задачах КИМ по информатике Типы задач В данном вебинаре рассматриваются задачи следующего типа (впервые эти задачи появились в КИМ на ЕГЭ 2015 года): Введжм выражение M & K, обозначающее

Подробнее

КОНТРОЛЬНАЯ РАБОТА "ОСНОВНЫЕ ЗАКОНЫ БУЛЕВОЙ АЛГЕБРЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЙ"

КОНТРОЛЬНАЯ РАБОТА ОСНОВНЫЕ ЗАКОНЫ БУЛЕВОЙ АЛГЕБРЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЙ КОНТРОЛЬНАЯ РАБОТА "ОСНОВНЫЕ ЗАКОНЫ БУЛЕВОЙ АЛГЕБРЫ И ПРАВИЛА ПРЕОБРАЗОВАНИЙ" ЛОГИЧЕСКИЕ (БУЛЕВЫ) ФУНКЦИИ Основные понятия В курсе математического анализа изучаются функции, определѐнные на числовой прямой

Подробнее

{ высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания -

{ высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания - { высказывания - истинностные значения - сложные высказывания - пропозициональные связки - таблицы истинности - пример сложного высказывания - пропозициональные формулы пропозициональные переменные и оценки

Подробнее

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ АВТОМАТИКИ

ТЕОРЕТИЧЕСКИЕ ОСНОВЫ АВТОМАТИКИ МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ федеральное государственное бюджетное образовательное учреждение высшего образования «Курганский государственный университет» Кафедра «Автоматизация

Подробнее

Глава 2 КОМПЬЮТЕР Логические основы компьютера Логические элементы и переключательные схемы

Глава 2 КОМПЬЮТЕР Логические основы компьютера Логические элементы и переключательные схемы Глава 2 КОМПЬЮТЕР 2.1. Логические основы компьютера 2.1.1. Логические элементы и переключательные схемы В параграфе 1.6.3 описан способ представления логических формул в виде схем, в которых используются

Подробнее

Министерство образования Республики Беларусь. Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники»

Министерство образования Республики Беларусь. Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» Министерство образования Республики Беларусь Учреждение образования «Белорусский государственный университет информатики и радиоэлектроники» Кафедра Программного обеспечения информационных технологий А.Т.Пешков

Подробнее

On-line консультация по подготовке к ЕГЭ_2016 по информатике для обучающихся 11 классов Кодирование чисел. Системы счисления.

On-line консультация по подготовке к ЕГЭ_2016 по информатике для обучающихся 11 классов Кодирование чисел. Системы счисления. On-line консультация по подготовке к ЕГЭ_2016 по информатике для обучающихся 11 классов Кодирование чисел. Системы счисления. Исламов Ришат Габитович, учитель информатики МБОУ Сургутский естественно-научный

Подробнее

сайты:

сайты: Федеральное агентство по образованию Уральский государственный экономический университет Ю. Б. Мельников Булевы и логические функции Раздел электронного учебника для сопровождения лекции Изд. 3-е, испр.

Подробнее

МАТЕМАТИЧЕСКАЯ ЛОГИКА

МАТЕМАТИЧЕСКАЯ ЛОГИКА МАТЕМАТИЧЕСКАЯ ЛОГИКА ТИПОВЫЕ РАСЧЁТЫ ИЗДАТЕЛЬСТВО ТГТУ МАТЕМАТИЧЕСКАЯ ЛОГИКА ТИПОВЫЕ РАСЧЁТЫ Методические указания и контрольные задания для студентов инженерно-технических специальностей вузов УДК 51

Подробнее

1. Логика высказываний

1. Логика высказываний 1. Логика высказываний 1.1. Определение логического следствия 1.1.А. Примеры умозаключений. (а) Посылка 1: x y. Посылка 2: y z. Заключение: x z. Как вам кажется, является ли это заключение логическим следствием

Подробнее

Лабораторная работа 8 Моделирование простейших логических схем

Лабораторная работа 8 Моделирование простейших логических схем Лабораторная работа 8 Моделирование простейших логических схем Цель работы моделирование логических функций при помощи логических элементов. Рабочее задание Домашнее задание. В соответствии с заданным

Подробнее

Федеральное агентство по образованию Уральский государственный экономический университет Ю. Б. Мельников Булевы и логические функции Раздел электронного учебника для сопровождения лекции e-mail: melnikov@k66.ru,

Подробнее

Тема: Основные понятия математической логики.

Тема: Основные понятия математической логики. Тема: Основные понятия математической логики. Примерные вопросы Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ), неудобны, интуитивно

Подробнее

A8 (базовый уровень, время 1 мин)

A8 (базовый уровень, время 1 мин) A8 (базовый уровень, время 1 мин) Тема: Преобразование логических выражений. Формулы де Моргана. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической

Подробнее

Введение в математическую логику (oсень 2016)

Введение в математическую логику (oсень 2016) Введение в математическую логику (oсень 2016) В.Б. Шехтман Лекция 3 Нормальные формы Определение 10 Литерал это переменная или ее отрицание. Дизъюнктивная нормальная форма (ДНФ) это дизьюнкция нескольких

Подробнее

Введение в математическую логику (oсень 2016)

Введение в математическую логику (oсень 2016) Введение в математическую логику (oсень 2016) В.Б. Шехтман Лекция 1 Высказывания это предложения естественного языка. Естественные языки предмет изучения других наук: лингвистики и филологии. В математической

Подробнее

Логика. Задачи для тренировки с решением Учитель информатики Батракова Л.В.

Логика. Задачи для тренировки с решением Учитель информатики Батракова Л.В. Часть 1 1. Укажите, какое логическое выражение равносильно выражению A /\ ( B \/ C). 1) A \/ B \/ C 2) A /\ B /\ C 3) A /\ B /\ C 4) A /\ B /\ C Решение: Применяя формулу де Моргана (B \/ C) = B /\ C и

Подробнее

Открытый урок «Построение логических схем. Базовые логические элементы». Тип урока: комбинированный (проверка знаний учащихся, изучение нового

Открытый урок «Построение логических схем. Базовые логические элементы». Тип урока: комбинированный (проверка знаний учащихся, изучение нового Открытый урок «Построение логических схем. Базовые логические элементы». Тип урока: комбинированный (проверка знаний учащихся, изучение нового материала). Класс: 10 А класс Дата проведения: 17.01.2009г.

Подробнее

Конспект по теме: Основы алгебры логики. Решение логических задач. Учитель информатики Батракова Л.В.

Конспект по теме: Основы алгебры логики. Решение логических задач. Учитель информатики Батракова Л.В. Логика (от древнегреческого «наука о рассуждении») это наука, изучающая методы установления истинности или ложности одних высказываний на основе истинности или ложности других высказываний. Древнегреческий

Подробнее

Учебный модуль. Основы логики

Учебный модуль. Основы логики Учебный модуль Основы логики 2012-2013 СОДЕРЖАНИЕ 1. Алгебра логики: введение... 3 1.1. Этапы развития логики как науки... 3 1.2. Формы абстрактного мышления... 3 1.3. Основные логические операции... 4

Подробнее

и f 11 x 1 x 2 f 3 f 5 , f 5 , f 10 , f 4 , f 6 , f 2 , f 7 и f 8 (x 1 ,x 2 f 10 = 2 n = 4, К ф f 8 f 12 f 7 f 9 f 0 f 2 f 11 f 14 f 13 f 4 f 15

и f 11 x 1 x 2 f 3 f 5 , f 5 , f 10 , f 4 , f 6 , f 2 , f 7 и f 8 (x 1 ,x 2 f 10 = 2 n = 4, К ф f 8 f 12 f 7 f 9 f 0 f 2 f 11 f 14 f 13 f 4 f 15 Есипов Александр Сергеевич ЛОГИЧЕСКИЕ ОСНОВЫ ПОСТРОЕНИЯ И РАБОТЫ КОМПЬЮТЕРОВ Журнал продолжает знакомить читателей с готовящимися к и зданию учебниками по информатике В этом номере мы представляем учебник

Подробнее

Предмет: информатика и ИКТ. Класс: 10. Оборудование: компьютерный класс. Тип урока: обобщение и систематизация знаний. Цели урока:

Предмет: информатика и ИКТ. Класс: 10. Оборудование: компьютерный класс. Тип урока: обобщение и систематизация знаний. Цели урока: Предмет: информатика и ИКТ. Класс: 10 Оборудование: компьютерный класс. Тип урока: обобщение и систематизация знаний. Цели урока: 1. Обучающие: 1. Научить составлять логические выражения из высказываний

Подробнее

МЕТОДИКА ИЗУЧЕНИЯ ТЕМЫ «ЛОГИКА. ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ» НА ПРОФИЛЬНОМ УРОВНЕ

МЕТОДИКА ИЗУЧЕНИЯ ТЕМЫ «ЛОГИКА. ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ» НА ПРОФИЛЬНОМ УРОВНЕ Кононенко А.А. Студентка 5 курса факультета математики и информатики БГПУ МЕТОДИКА ИЗУЧЕНИЯ ТЕМЫ «ЛОГИКА. ЛОГИЧЕСКИЕ ОСНОВЫ ЭВМ» НА ПРОФИЛЬНОМ УРОВНЕ В соответствии с распоряжением правительства Российской

Подробнее

Математическая логика и теория алгоритмов. Первухин Михаил Александрович

Математическая логика и теория алгоритмов. Первухин Михаил Александрович Математическая логика и теория алгоритмов Первухин Михаил Александрович Исчисление высказываний Лекция 4 Система аксиом и правил вывода Используя понятие формального исчисления, определим исчисление высказываний

Подробнее

УРОК 10. Алгебра логики. Элементарные высказывания.

УРОК 10. Алгебра логики. Элементарные высказывания. УРОК. лгебра логики. Элементарные высказывания. Логика очень древняя наука. -й этап связан с работами ученого и философа ристотеля 384-322 г.г. до н.э.. Он пытался найти ответ на вопрос Как мы рассуждаем,

Подробнее

Алгебра логики. ИНФОРМАТИКА и ИКТ. Задание 2 для 10-х классов. ( учебный год)

Алгебра логики. ИНФОРМАТИКА и ИКТ. Задание 2 для 10-х классов. ( учебный год) Министерство образования и науки Российской Федерации Московский физико-технический институт (государственный университет) Заочная физико-техническая школа ИНФОРМАТИКА и ИКТ Алгебра логики Задание 2 для

Подробнее

B10 (высокий уровень, время 10 мин)

B10 (высокий уровень, время 10 мин) B0 (высокий уровень, время 0 мин) Тема: Преобразование логических выражений. Про обозначения К сожалению, обозначения логических операций И, ИЛИ и НЕ, принятые в «серьезной» математической логике (,, ),

Подробнее