Надеюсь, что мой блог поможет вам пополнить знания в области
математической логики.
На странице Теория
вы сможете наитии необходимый теоретический материал.
На странице Практика
вы найдете задания и варианты их решения. А на странице Итоговый контроль задачи для самостоятельного решения и тесты.
ЛОГИКА (гр. 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
работы. Это следующие
сложные умения:
- разработка технологии обработки информационного массива с использованием средств электронной таблицы или базы данных;
- разработка алгоритма для формального исполнителя или на языке программирования с использованием условных инструкций и циклов, а также логических связок при задании условий
