Уважаемые учащиеся!

Надеюсь, что мой блог поможет вам пополнить знания в области математической логики. 

На странице Теория вы сможете наитии необходимый теоретический материал.

На странице Практика вы найдете задания и варианты их решения. А на странице Итоговый контроль задачи для самостоятельного решения и тесты.

ЛОГИКА (гр. logos — мысль, слово, речь, разум) — это наука о законах и формах мышления, направленная на познание объективного мира. Слово логика обозначает совокупность правил, которым подчиняется процесс мышления или обозначает науку о правилах рассуждения и тех формах, в которых оно осуществляется.

Объектом логики как науки выступает абстрактное мышление.

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

Математическая логика изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны.

В ниже перечисленных темах рассматриваются задания с применением математической логики.

Кодификатор

элементов содержания и требований к уровню подготовки обучающихся,

освоивших основные общеобразовательные программы основного

общего образования, для проведения государственной (итоговой)

аттестации (в новой форме) по ИНФОРМАТИКЕ и ИКТ

Пояснительная записка

Кодификатор  составлен  на  базе  Федерального  компонента  стандарта

основного общего образования по информатике и ИКТ (утвержден приказом

Минобразования России от 05.03.2004 № 1089).

1.3 Обработка информации

1.3.3 Логические значения, операции, выражения

2.3 Создание и обработка информационных объектов

2.3.2 Базы данных. Поиск данных в готовой базе.

2.4 Поиск информации

2.4.1 Компьютерные  и некомпьютерные  каталоги,  поисковые  машины,

формулирование запросов

2.6 Математические  инструменты,  динамические (электронные) таблицы

2.6.2 Ввод математических формул и вычисления по ним

Спецификация

контрольных измерительных материалов для проведения

в 2014 году государственной (итоговой) аттестации (в новой форме)

по ИНФОРМАТИКЕ и ИКТ обучающихся, освоивших основные

общеобразовательные программы основного общего образования

1. Назначение КИМ ГИА для выпускников IX классов

Назначение  работы –  государственная (итоговая)  аттестация  по  информатике  и  ИКТ  выпускников IX  классов  общеобразовательных  учреждений  на  основе  оценки  уровня  овладения  обучающимися  материалами

учебной программы по предмету.

На  уровне  воспроизведения  знаний  проверяется  такой  фундаментальный теоретический материал, как:

•  основные алгоритмические конструкции (ветвление и циклы);
• основные элементы математической логики;

Задания,  проверяющие  сформированность  умений  применять  свои

знания в стандартной ситуации, включены в части 2 и 3 работы. Это следующие умения:

• создавать и преобразовывать логические выражения;
• формулировать запросы к базам данных и поисковым системам.

Материал  на  проверку  сформированности  умений  применять  свои  знания  в  новой  ситуации  входит  в  часть 3  работы.  Это  следующие  сложные умения:

• разработка  технологии  обработки  информационного  массива  с  использованием средств электронной таблицы или базы данных;
• разработка  алгоритма  для  формального  исполнителя  или  на  языке  программирования  с  использованием  условных  инструкций  и  циклов, а также логических связок при задании условий