- •Содержание дисциплины
- •Тематический план выполнения и сдачи заданий срсп и срс
- •Тематический план выполнения и сдачи заданий срсп и срс
- •Тематический план выполнения и сдачи заданий срсп и срс
- •Литература
- •Глоссарий
- •Информация по оценке знаний обучающихся
- •Критерии оценки знаний обучающихся
- •Процедура апелляции
- •3. Карта учебно-методической обеспеченности дисциплины Информатика и вычислительная техника. Книгообеспеченность - 2012-2013г.
- •Методические рекомендации для проведения практических и лабораторных занятий модуль 1-Информатика и информация. Тема 1. Информатика и информационные технологии.
- •1.1. Предмет информатики
- •Информатика как единство науки и технологии
- •1.2. Системы счисления Видеоурок «Перевод из 2-ой в 10-ую и из 10-ой в 2-ую систему счисления»
- •Основные арифметические действия в двоичной системе счисления.
- •Непрерывная и дискретная информация
- •Единицы количества информации
- •Объемный подход
- •2.2. Представление информации в компьютере
- •Представление текстовой информации
- •Представление графической информации
- •Тема 3. Основы дискретной математики
- •3.1.Множества и операции над ними.
- •1. Основные понятия теории множеств.
- •Функции, отношения и множества
- •Операции над множествами
- •3.2. Логика
- •Этапы развития логики
- •Основные законы логики. Таблицы истинности
- •3.3.Булева алгебра всех подмножеств данного множества.
- •Материалы для проведения практических и лабораторных работ Информатика и информационные технологии. Практическая работа 1.1. Система счисления.
- •Задания к самостоятельной работе студентов
- •Практическая работа 1.2. Арифметические действия в разных системах счисления
- •Лабораторная работа 1. Основные арифметические действия
- •Структура современной информатики. Практическая работа 2.1. Представление числовой информации.
- •Практическая работа 2.2. Кодирование текстовой информации Используем кодировочные таблицы
- •Решение:
- •Лабораторная работа 2. Представление графической информации
- •Решение:
- •Решение:
- •Решение:
- •Основы дискретной математики. Практическая работа 3.1. Операции над множествами.
- •Практическая работа 3.2. Работа с таблицей истинности
- •Лабораторная работа 3. Решение задач средствами логики
- •Основы дискретной математики.Логические основы компьютера. Практическая работа 4.1. Логические основы компьютера
- •Практическая работа 4.2. Построение логических схем
- •Лабораторная работа 4. Решение задач при помощи графов
- •Тема 4. Логические элементы компьютера. Основы дискретной математики
- •4.1. Понятие графа
- •Деревья
- •Ориентированные графы
- •4.2. Логические основы компьютера
- •Тестовые вопросы к теме 1.
- •ТЕстовые воросы к теме 2
- •Тестовые вопросы к теме 3
- •Тестовые вопросы к теме 4.
- •Кейсы. Модуль 2.-Аппаратное и программное обеспечение компьютера.
- •Тема 1. Основные понятия архитектуры эвм
- •1. 1.История развития эвм. Принципы фон-Неймана
- •Поколения эвм
- •1.2.Аппаратное обеспечение компьютера
- •Системный блок
- •Материнская плата (электронные платы)
- •Процессор
- •Контроллеры и шины
- •Носители информации
- •Устройства передачи информации
- •1.3. Устройства ввода-вывода информации Устройства ввода информации Видеоуроки-по устройствам ввода информации и их эксплуатации
- •Устройства вывода информации
- •Тема 2. Алгоритмическое решение задач
- •2.2. Алгоритмы и поиск решений. Этапы решения задач на эвм
- •2. Технология проектирования программ
- •2.2. Блок-схемы как графическая реализация алгоритмов. Различные виды блок-схем.
- •Базовые алгоритмические структуры
- •3 Обзор современного программного обеспечения
- •3.1. Классификация по
- •3.2. Виды антивирусных программ, как защита информации
- •3.3.Применение профессионального программного обеспечения
- •Перечни вопросов для подготовки к рубежному контролю
- •Тема 4. Основы операционных систем и сетей
- •4.1 Состав операционной системы Операционные системы
- •Командный язык
- •Файловая система
- •Драйверы внешних устройств
- •Утилиты сервисного обслуживания
- •4.2 Защита информации
- •4.3 Антивирусная защита
- •Архиваторы
- •Основные виды программ-архиваторов
- •Способы управления программой-архиватором
- •Тема 5. Компьютерные сети
- •Статья-Влияние возникновения и развитие сети р-2-р на международное право
- •5.1. Сети и телекоммуникации
- •5.2 Сетевая безопасность. Правовые нормы в сфере информационных ресурсов и информационной безопасности.
- •Проблема защиты информации
- •5.3. Современные технологии дистанционного обучения e-learning
- •АПпаратное и програмное обеспечение Эвм Практическая работа 1.1. Основные понятия архитектуры эвм
- •Практическая работа 1.2. Изучение устройства персонального компьютера
- •Лабораторная работа 1.3 принципы действия и основные устройства системного блока
- •Алгоритимическое решение задач
- •Практическая работа 2.2. Построение блок-схем алгоритмов
- •Лабораторная работа . Решение алгоритмических задач экономического наполнения
- •Обзор современного программного обеспечения Практическая работа 3.1. Классификация программного обеспечения
- •Практическая работа 3.2. Прикладное программное обеспечение
- •Лабораторная работа 3.3. Работа в операционной системе
- •ОСновы оС и сетей Практическая работа 4.1. Интерфейс операционной системы windows
- •Практическая работа 4.2. Дефрагментация и очистка диска
- •Лабораторная работа . Антивирусы и архиваторы
- •Компьютерные сети Практическая работа 5.1. Компьютерные сети
- •Практическая работа 5.2. Поиск информации по ключевым словам
- •Задание 1. Использование папки избранное
- •Задание 2. Загрузка файла из интернета
- •Задание 3. Настройка отображения объектов (ускорение загрузки web-страниц ценой отказа от отображения рисунков и других объектов)
- •Лабораторная работа . Информационная безопасность
- •Тестовые вопросы к теме 2.
- •Тестовые вопросы к теме 3
- •Модуль 3-прикладное программное обеспечение. Тема 1. Автоматизация процесСов в текстовом процессоре Microsoft Word.
- •1.1. Форматирование и стилевое оформление документа
- •2.1. Форматирование символов
- •2.2. Форматирование абзаца
- •Обрамление
- •Межсимвольный и междустрочный интервал в тексте
- •Формат по образцу
- •С помощью контекстного меню.
- •Форматирование страниц
- •Колонки
- •Колонтитулы
- •Номера страниц
- •2.4. Печать документа
- •Преобразование текста в список
- •3.1. Создание простой таблицы
- •3.2. Создание сложной таблицы
- •3.3. Выделение столбцов и строк таблицы
- •3.4. Изменение ширины строк и высоты столбцов
- •3.5. Вставка ячейки, строк, столбцов
- •3.6. Объединение ячеек таблицы
- •Автоматическая нумерация объектов
- •Перекрестные ссылки
- •Тема 2. Назначение и основные функции табличных процессоров.
- •2.1. Назначение интерфейс. Форматирование ячейк .
- •Панель инструментов «Стандартная»
- •2. Основные операции с элементами таблицы
- •Ввод чисел, текста, даты или времени суток
- •Ввод формулы
- •Удаление элементов таблицы
- •Форматирование элементов таблицы
- •Копирование формата
- •2.2. Адресация ячеек
- •Отображение строк списка с использованием фильтра
- •Работа с функциями в табличном процессоре Microsoft Excel
- •Основные статистические и математические функции
- •Использование панели формул для ввода и изменения формул
- •Использование функций для вычисления значений
- •Финансовые функции
- •Присвоение имени ячейке
- •Подбор параметра
- •ФункцииMicrosoft Excel для расчета операций по кредитам и займам
- •Создание диаграммы
- •Тема 3. Система управления базами данных Microsoft Access
- •3.1. Основные понятия базы данных
- •Создание мастера таблиц
- •Создание таблицы с помощью мастера.
- •Редактирование структуры таблицы в режиме конструктора. Маска ввода
- •3.2.Создание запросов на выборку.
- •Представление данных в форме
- •III.Объекты Базы данных:
- •3. Отчеты Структура отчета в режиме Конструктора
- •Способы создания отчета
- •Прикладное программное обеспечение Практическая работа 1. Ms Word. Создание и редактирование текстового документа. Абзацные отступы и интервалы
- •Практическая работа 1.2. Ms Word. Создание и форматирование таблиц
- •Лабораторная работа 1. Работа с длинными документами
- •Практическая работа 2.1. Ms excel. Назначение и интерфейс
- •Практическая работа 2.2. Ms Excel 2003. Ввод и редактирование данных. Адресация ячеек
- •Лабораторная работа 2..Ms Excel. Фильтрация (выборка) данных из списка
- •1. Дана электронная таблица:
- •2. Значение в ячейке с3 электронной таблицы
- •Практическая работа 2.3. Ms Excel. Ссылка. Встроенные функции
- •Практическая работа 2.4. Финансовые функции табличного процессора
- •{Дата1; дата2;...;датаN}).
- •6. Определение срока платежа и процентной ставки
- •7. Расчет процентной ставки. Функция норма
- •Расчет периодических платежей
- •9. Расчет платежей по процентам. Функция плпроц
- •10. Расчет суммы платежей по процентам по займу. Функция общплат
- •Синтаксис общплат(ставк;кол_период;нз;нач_период; кон_период; тип) лабораторная работа 3.Графические возможности табличного процессора
- •Практическая работа 3.1. Ms Access. Создание таблиц с помощью мастера
- •Практическая работа 3.2. Редактирование структуры таблицы в режиме конструктора
- •Лабораторная работа 3. Сортировка данных в таблицах
- •Практическая работа 3.3. Ms Access. Создание запросов Создание простого запроса с помощью Мастера.
- •Лабораторная работа 4 . Ms Access. Отчеты Создание отчета
- •Практическая работа . Графические редакторы Графические редакторы
- •Форматы графических файлов
- •Практическая работа . Работа с векторным графическим редактором
- •Лабораторная работа 5. Работа с растровым графическим редактором
- •4.Повторный обзор. Тесты. Тестовые вопросы к теме 1
- •Тестовые вопросы к теме 2
- •Тестовые вопросы к теме 2
- •Тестовые вопросы к теме
- •Кейсы. Перечни вопросов для подготовки ко II рубежному контролю
- •5. Методические рекомендации по проведению дисциплины
- •Материалы для аудиторной и внеаудиторной работы
- •1.2. Материалы для контроля знаний
- •1.3. Методические рекомендации по проведению семинарских занятий, срсп и выполнения срс
- •Обзор интерактивных форм и методов обучения применяемых кафедрой гуманитарных и естественных дисциплин
- •Обзор традиционных методов применяемых кафедрой гуманитарных и естественных дисциплин
- •Обзор по применению инновационно-технических средств обучения
- •Методические рекомендации по проведению срсп (контактные и консультативные) модуль 1. Тема 1.1. Система счисления.
- •Тема 1.2. Арифметические действия
- •Тема 2.1 Представление графической информации.
- •Тема 3. 1.Алгебра множеств
- •Тема 3.2. Решение задач
- •Тема 4.1.ЗадачИ на графы
- •Тема 4.2. Работа с таблицей истинности
- •Тема 4.2.Решение логических задач
- •Модуль 2.
- •Тема 2. Решение алгоритмических задач
- •Тема 4.1. Управление сервером windows 2003 server.
- •Тема 4.2. Работа с антивирусной программой
- •Параметры консоли "Удаленный помощник" модуль 3.
- •Тема 1. 1.Приемы создания и оформления презентаций
- •Ms powerpoint 2003. Вставка рисунков и анимация при демонстрации. Создание управляющих кнопок
- •Демонстрация Фильма и настройка анимации
- •Тема 1.2. Создание видеофильма средствами Windows Movie Maker
- •Тема 2.1. Ms Word. Вставка готового рисунка. Работа с Clipart. Вставка символа, дробные числа, автозамена.
- •Тема 2. 2.Microsoft word. Создание визитки с использованием изученных приемов
- •Тема 2. 3.Ввод и редактирование данных.
- •Тема 2.4 Работа с текстом
- •Мультипликационный фильм песенка о медведях1
- •2. Крутят они стараясь, вертят земную ось,
- •3. Вслед за весенним ливнем раньше придет рассвет
- •Тема 2.5. Диаграммы. Ратота со списками. Стили в документе.
- •9.Материалы по контролю и оценке учебных достижений обучающихся (перечни вопросов для подготовки к экзаменам)
Этапы развития логики
I. АРИСТОТЕЛЬ (384-322 гг. до н.э., древнегреческий философ) - основоположник логики.
Написал книги «Категории», «Первая аналитика», «Вторая аналитика».
Аристотель создавал логику как науку о доказательстве истины, стремился придать логическим рассуждениям математическую строгость и стройность. Он стал применять символы-буквы для обозначения различных объектов в логических рассуждениях, стремясь свести размышление (умозаключение) к вычислениям. Исследовал различные формы рассуждений, ввел понятие силлогизма. Силлогизм - рассуждение, в котором из заданных двух суждений выводится третье.
Например:
1. Все млекопитающие имеют скелет. Все киты - млекопитающие. Следовательно, все киты имеют скелет.
2. Все квадраты - ромбы. Все ромбы - параллелограммы. Следовательно, все квадраты - параллелограммы.
Аристотель выделил все правильные формы силлогизмов, которые можно составить из рассуждений вида: «Все А суть В»; «Некоторые А суть В»; «Все А не суть В»; «Некоторые А не суть В».
Логика, основанная на теории силлогизмов называется классической.
II. Декарт Рене (1596-1650, французский философ, математик). Рекомендовал в логике использовать математические методы.
III. Лейбниц Г.В. (1646-1716, немецкий философ и математик) - предложил использовать в логике математическую символику и впервые высказал мысль о возможности применения в ней двоичной системы счисления. Ему принадлежит идея логического исчисления, то есть четко сформулированные правила действий со словами и предложениями, сродни арифметическим правилам действий с числами. В соответствии с этими правилами простые элементы логических рассуждений (понятия) обозначаются буквами, сложные элементы (предложения) – формулами, а умозаключения – уравнениями. «Единственное средство улучшить наши умозаключения – сделать их, как у математиков, наглядными, и если среди людей возникнет спор, нужно сказать «Посчитаем!»; тогда без особых формальностей можно будет увидеть, кто прав», - писал Лейбниц.
Лейбниц заложил идейный фундамент математической логики, а над практической реализацией этих идей работали и работают многие учёные.
IV. Джордж Буль (1815-1864, ирландский математик и логик) - основоположник математической логики. В 1847 г. Джордж Буль в работе «Математический анализ логики» изложил основы булевой алгебры. Разработал алфавит, орфографию и грамматику.
Вычисление истинности или ложности рассуждений, записанных с помощью специальных знаков, – основная задача созданной Булем алгебры логики или, как её чаще называют булевой алгебры.
Развитие идей Буля привело к созданию современной математической логики, которая включает в себя алгебру множеств, алгебру высказываний, алгебру релейных схем (реле – это переключатель в электрических схемах), без которых было бы невозможным проектирование и программирование вычислительных машин. Именно булева алгебра лежит в основе работы компьютера.
Основные законы логики. Таблицы истинности
Основные понятия математической логики
Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности и ложности) и логических операций над ними [4].
Логическое высказывание – это любое повествовательное предложение, в отношении которого можно однозначно сказать, истинно оно или ложно [4].
Для обозначения истины (истинного высказывания) используется символ 1, а для обозначения лжи (ложного высказывания) используется символ 0.
Рассмотрим примеры логических высказываний (см. Таблицу 1):
Таблица 1. Примеры логических выражений
Предложение |
Характеристика с точки зрения алгебры логики |
Иваново – Родина Первого Совета |
Истинное логическое высказывание |
За зимой наступит весна |
Истинное логическое высказывание |
В городе Иваново проживают только граждане России |
Ложное логическое высказывание |
После дождя всегда тепло |
Ложное логическое высказывание |
После вторника будет выходной |
Не является логическим высказыванием, т.к. не известно, о каком человеке, каком месяце и дне идет речь (если у человека текущий график работы, возможно, что у него в среду будет выходной, в противном случае среда – рабочий день; если в среду будет праздничный день, например, 8 марта, то этот день также будет выходным) |
Употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…то», «тогда и только тогда» и др. позволяют из уже заданных высказываний строить более сложные высказывания. Такие слова и словосочетания называют логическими связками. Высказывания, образованные с помощью логических связок – называют составными высказываниями. Высказывания, не являющиеся составными, называют элементарными.
Для обозначения логических высказываний, им назначают имена. Например, если А – высказывание «В четверг был дождь», В – высказывание «В пятницу было солнечно», то составное высказывание «В четверг был дождь, а в пятницу было солнечно», можно записать в виде: А и В.
Здесь А, В – логические высказывания (могут быть либо истинными, либо ложными), и – логическая связка.
Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение (см. Таблицу 2):
Таблица 2. Логические связки
№ |
Логическая связка |
Название |
Обозна-чение |
Высказы-вание |
Математическая запись |
1 |
и |
конъюнкция логическое умножение |
, *, And |
A и В |
A B, A B A * B, A And B |
2 |
или |
дизъюнкция логическое сложение |
+, Or |
A или В |
A B A + B, A Or B |
3 |
не |
инверсия, логическое отрицание |
¬, , Not |
не А |
¬А, , Not A |
4 |
Если…то |
импликация, логическое следование |
→, |
Если A, то В |
A → B A B |
5 |
тогда и только тогда |
эквивалентность, равносильность, логическое тождество |
, , |
А тогда и только тогда, когда В |
АВ, АВ АВ, АВ |
Импликацию можно выразить через дизъюнкцию и отрицание: A → B = ¬А B (1)
Эквивалентность можно выразить через отрицание, дизъюнкцию и конъюнкцию: A B = (¬А B) (¬B А) (2)
Вычисление значения логического выражения производится слева направо в соответствии с таблицей истинности (см. Таблицу 3) и приоритетом выполнения логических операций (см. Таблицу 4). Порядок выполнения операций можно менять, используя круглые скобки.
Таблица 3. Таблица истинности
A |
B |
A B |
A B |
¬A |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
1 |
0 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
1 |
0 |
Таблица 4. Приоритет выполнения логических операций
Приоритет операции |
Логическая операция |
Первый (высший) |
Логическое отрицание |
Второй |
Конъюнкция (логическое умножение) |
Третий |
Дизъюнкция (логическое сложение) |
Четвертый |
Импликация (следование) |
Пятый (низший) |
Эквивалентность (равносильность) |