Информатика лекция 1.ppt
- Количество слайдов: 121
Информатика Артамонов В. Н. Лекция № 1(осталось 15) 8 февраля 2013
Структура курса Продолжительность один семестр Итоговый контроль Экзамен(тест) 60% вопросов теста Теоретическая часть экзамена Практическая часть экзамена Вопрос теста 40% вопросов теста 4 ответа – 1 правильный ответ
Вопрос 1
Вопрос № 2
Вопрос № 3
Вопрос № 4
Вопрос № 5
Вопрос № 6
Вопрос № 7
Тема 1
Введение. Информационные технологии Информация (по законодательству РФ) сведения о лицах, предметах, фактах, событиях, явлениях и процессах независимо от формы их представления. Информация уменьшает степень неопределенности, неполноту знаний о лицах, предметах, событиях и т. д. Информационная технология (ИТ) это процесс, использующий совокупность методов и программно технических средств, для сбора, обработки, хранения, передачи и представления информации с целью получения информации нового качества. Информационная система — взаимосвязанная совокупность средств, методов и персонала, используемых для хранения, обработки и выдачи информации в интересах достижения поставленной цели.
Тест. Основной результат использования информационной технологии -…. • 1. Получение информации нового качества о состоянии объекта или явления. • 2. Получение новой информации о состоянии объекта или явления. • 3. Получение дополнительной информации о состоянии объекта или явления. • 4. Получение и использование новой информации о состоянии объекта или явления.
Аспекты информации Аспект Способ измерения Синтаксический Бит, байт, килобайт, …. Семантический Тезаурус – имеющиеся знания по проблеме Прагматический Ценность в достижении цели
Тест. В 5 килобайтах - … • • 1. 5000 байт. 2. 5120 байт. 3. 5024 байт. 4. 5000 бит.
ИНФОРМАТИКА – это наука, изучающая законы и методы хранения, передачи и обработки информации с помощью компьютера.
КОМПЬЮТЕР – универсальное техническое средство для работы с информации Устройства компьютера: • Монитор • Системный блок • Клавиатура • Мышь
Как человек представляет информацию? • Текст на естественном языке • Текст на формальном языке • Графически
НА ВНЕШНИХ НОСИТЕЛЯХ ВНЕШНЯЯ ПАМЯТЬ
ПЕРЕДАЧА ИНФОРМАЦИИ Источник Приемник Канал связи устная речь письмо технические средства
ОБРАБОТКА ИНФОРМАЦИИ • Путем математических или логических рассуждений • Сортировка (упорядочение) • Перевод текста • Кодирование • Поиск
ЕДИНИЦЫ ИЗМЕРЕНИЯ ИНФОРМАЦИИ • 1 байт = 8 бит; • 1 килобайт = 1 Кб = 1024 байт; • 1 мегабайт = 1 Мб = 1024 Кб; • 1 гигабайт = 1 Гб = 1024 Мб; • 1 терабайт = 1 Тб = 1024 Гб; • 1 петабайт = 1 Пб = 1024 Тб.
Когда людям надоело вести счёт при помощи загибания пальцев и перекладывания палочек, они изобрели абак (счёты). Количество подсчитываемых предметов соответствовало числу передвинутых костяшек этого инструмента.
В 1623 году Вильгельм Шикард придумал «Считающие часы» — первый механический калькулятор, умевший выполнять четыре арифметических действия. Считающими часами устройство было названо потому, что как и в настоящих часах работа механизма была основана на использовании звёздочек и шестерёнок. Практическое использование это изобретение нашло в руках друга Шикарда, философа и астронома Иоганна Кеплера.
За этим последовали машины Блеза Паскаля ( «Паскалина» , 1642 г. ) и Готфрида Вильгельма Лейбница. Примерно в 1820 году создал первый удачный, серийно выпускаемый механический калькулятор — Арифмометр Томаса, который мог складывать, вычитать, умножать и делить. В основном, он был основан на работе Лейбница. Механические калькуляторы, считающие десятичные числа, использовались до 1970 х.
Паскалина
В 1801 году Жозеф Мари Жаккар разработал ткацкий станок, в котором вышиваемый узор определялся перфокартами. Серия карт могла быть заменена, и смена узора не требовала изменений в механике станка. Это было важной вехой в истории программирования.
В 1838 году Чарльз Бэббидж (учитель Ады Лавлейс) перешёл от разработки Разностной машины к проектированию более сложной аналитической машины, принципы программирования которой напрямую восходят к перфокартам Жаккара.
В 1890 году Бюро Переписи США использовало перфокарты и механизмы сортировки, разработанные Германом Холлеритом, чтобы обработать поток данных десятилетней переписи. Компания Холлерита в конечном счёте стала ядром IBM. Эта корпорация развила технологию перфокарт в мощный инструмент для деловой обработки данных и выпустила обширную линию специализированного оборудования для их записи. К 1950 году технология IBM стала вездесущей в промышленности и правительстве. Предупреждение, напечатанное на большинстве карт, «не сворачивать, не скручивать и не рвать» , стало девизом послевоенной эры.
К 1900 у году ранние механические калькуляторы, кассовые аппараты и счётные машины были перепроектированы с использованием электрических двигателей с представлением положения переменной как позиции шестерни. С 1930 х такие компании как Friden, Marchant и Monro начали выпускать настольные механические калькуляторы, которые могли складывать, вычитать, умножать и делить. Словом «computer» (буквально — «вычислитель» ) называлась должность — это были люди, которые использовали калькуляторы для выполнения математических вычислений.
В 1948 году появился Curta — небольшой механический калькулятор, который можно было держать в одной руке.
В 1950 х — 1960 х годах на западном рынке появилось несколько марок подобных устройств. Первым полностью электронным настольным калькулятором был британский ANITA Мк. VII.
В 1936 году, работая в изоляции в нацистской Германии, Конрад Цузе начал работу над своим первым вычислителем сериии Z, имеющим память и (пока ограниченную) возможность программирования. Созданная, в основном, на механической основе, но уже на базе двоичной логики, модель Z 1, завершённая в 1938 году, так и не заработала достаточно надёжно, из за недостаточной точности выполнения составных частей.
Следующая машина Цузе — Z 3, была завершена в 1941 году. Она была построена на телефонных реле и работала вполне удовлетворительно. Тем самым, Z 3 стала первым работающим компьютером, управляемым программой. Во многих отношениях Z 3 была подобна современным машинам
Американский ENIAC, который часто называют первым электронным компьютером общего назначения, публично доказал применимость электроники для масштабных вычислений. Это стало ключевым моментом в разработке вычислительных машин, прежде всего из за огромного прироста в скорости вычислений, но также и по причине появившихся возможностей для миниатюризации. Созданная под руководством Джона Мочли и Дж. Преспера Эккерта, эта машина была в 1000 раз быстрее, чем все другие машины того времени. Разработка «ЭНИАК» продлилась с 1943 до 1945 года.
На ENIAC удавалось выполнять несколько тысяч операций в секунду в течение нескольких часов, до очередного сбоя из за сгоревшей лампы.
Первой работающей машиной с архитектурой фон Неймана стал манчестерский «Baby» — Small Scale Experimental Machine (Малая экспериментальная машина), созданный в Манчестерском университете в 1948 году; в 1949 году за ним последовал компьютер Манчестерский Марк I.
Следующим крупным шагом в истории компьютерной техники, стало изобретение транзистора в 1947 году. Они стали заменой хрупким и энергоёмким лампам. О компьютерах на транзисторах обычно говорят как о «втором поколении» , которое доминировало в 1950 х и начале 1960 х. Благодаря транзисторам и печатным платам, было достигнуто значительное уменьшение размеров и объёмов потребляемой энергии, а также повышение надёжности. Однако компьютеры второго поколения по прежнему были довольно дороги и поэтому использовались только университетами, правительствами, крупными корпорациями.
«Сетунь» была первым компьютером на основе троичной логики, разработана в 1958 году в Советском Союзе.
Бурный рост использования компьютеров начался с т. н. « 3 им поколением» вычислительных машин. Начало этому положило изобретение интегральных схем, которые независимо друг от друга изобрели лауреат Нобелевской премии Джек Килби и Роберт Нойс. Позже это привело к изобретению микропроцессора Тэдом Хоффом (компания Intel).
Появление микропроцессоров привело к разработке микрокомпьютеров — небольших недорогих компьютеров, которыми могли владеть небольшие компании или отдельные люди. Микрокомпьютеры, представители четвёртого поколения, первые из которых появился в 1970 х, стали повсеместным явлением в 1980 х и позже. Стив Возняк, один из основателей Apple Computer, стал известен как разработчик первого массового домашнего компьютера, а позже — первого персонального компьютера. Компьютеры на основе микрокомпьютерной архитектуры, с возможностями, добавленными от их больших собратьев, сейчас доминируют в большинстве сегментов рынка.
В 1977 году появился первый массовый персональный компьютер Apple II, что явилось предвестником бума всеобщей компьютеризации населения. Домашние компьютеры стали более удобными и требовали от своих пользователей уже гораздо меньшего количества технических навыков. В августе 1981 года IBM выпустила компьютерную систему IBM PC, положившую начало эпохе современных персональных компьютеров.
В январе 1984 года начались продажи Apple Macintosh, ставшего первым по настоящему массовым ПК с GUI. 23 июля 1985 года появился первый в мире мультимедийный персональный компьютер Amiga (Amiga 1000). Персональные компьютеры Amiga, наряду с макинтошами, оставались самыми популярными и продаваемыми машинами для домашнего использования.
Ноутбуки
Карманный ПК Планшетный ПК
сятичная де 56789 01234 34567 012 ая осьмеричн в шес 0123 тнад цате 4567 8 ричн ая 9 ABC 01 двоич ная DEF
46 Возьмем произвольное десятичное число, например , и для него выполним все возможные последовательные переводы из одной системы счисления в другую 46 10 56 2 E 8 16 2 101110 2 E 101110 2 10 46 16 56 8 8 10 56 46 101110 2 16 10 2 E 46
Перевод чисел из 10 -ой системы счисления в 2 -ую 1 способ 2 способ 4 5 3 2 1 2 0 22 2 46=32 + 8 + 4 + 2 1 0 1 1 1 4610→ 1011102 0
Перевод чисел из 10 -ой системы счисления в 8 -ую 4610→ 568
Перевод чисел из 10 -ой системы счисления в 16 -ую 4610→ 2 E 16
Перевод чисел из 2 -ой системы счисления в 8 -ую 1011102→ 568
Перевод чисел из 2 -ой системы счисления в 10 -ую 32 8 4 2 32+8+4+2 1011102→ 4610
Перевод чисел из 2 -ой системы счисления в 16 -ую 14 (E) 1011102→ 2 E 16
Перевод чисел из 8 -ой системы счисления в 2 -ую 5 6 568→ 1011102
Перевод чисел из 8 -ой системы счисления в 10 -ую 568→ 4610
Перевод чисел из 8 -ой системы счисления в 16 -ую 568→ 2 E 16
Перевод чисел из 16 -ой системы счисления в 2 -ую 2 E 16→ 101110 2
Перевод чисел из 8 -ой системы счисления в 2 -ую 568 → 1011102
Перевод чисел из 16 -ой системы счисления в 10 -ую 2 E 16→ 4610
Арифметические действия в двоичной системе счисления Над числами в двоичной системе счисления можно выполнять арифметические действия. При этом используются следующие таблицы:
Перевод дробных чисел из 10 -ой системы в 2 -ую Перевод дробного числа из десятичной системы счисления в двоичную осуществляется по следующему алгоритму: Вначале переводится целая часть десятичной дроби в двоичную систему счисления; Затем дробная часть десятичной дроби умножается на основание двоичной системы счисления; В полученном произведении выделяется целая часть, которая принимается в качестве значения первого после запятой разряда числа в двоичной системе счисления; Алгоритм завершается, если дробная часть полученного произведения равна нулю или если достигнута требуемая точность вычислений. В противном случае вычисления продолжаются с предыдущего шага.
Пример: Требуется перевести дробное десятичное число 206, 116 в дробное двоичное число. Перевод целой части дает 20610=110011102 по ранее описанным алгоритмам; дробную часть умножаем на основание 2, занося целые части произведения в разряды после запятой искомого дробного двоичного числа: . 116 • 2 = 0. 232 • 2 = 0. 464 • 2 = 0. 928 • 2 = 1. 856 • 2 = 1. 612 • 2 = 1. 224 • 2 = 0. 448 • 2 = 0. 456 • 2 = 0. 912 • 2 = 1. 82 и т. д. Получим: =11001110, 00011100012
Разнообразие кодов Алфавит кириллических букв (А, Б, В, Г, Д, Е, Ё, Ж …) Алфавит латинских букв ( А, В, С, D, E, F, G, H, I … ) Алфавит десятичных цифр (0, 1, 2, 3, 4, 5, 6, 7, 8, 9) Алфавит знаков зодиака ( , , , …. ) Математическая символика (+, , =, ∑) Семафорная азбука Набор знаков азбуки для слепых (азбука Брайля) Азбука Морзе Набор знаков международного телеграфного кода Штрих-код на товаре Двоичное кодирование информации в компьютере (0 или 1)
Двоичное кодирование текстовой информации Для кодирования 1 символа используется 1 байт информации. 1 байт Знаки препинания 256 символов 66 букв русского алфавита 52 буквы английского алфавита 0 -9 цифры
При обработке текстовой информации в компьютере каждый символ представляется двоичным кодом 1 символ 8 битов От 0000 до 1111 Присвоение знаку конкретного двоичного кода – это вопрос соглашения, которое фиксируется в кодовой таблице
Кодовая таблица ASCII American Standard Code for Information Interchange коды от 0 до 32 функциональные клавиши коды от 33 до 127 буквы английского алфавита, знаки математических операций, знаки препинаний
Таблицы кодировки русскоязычных символов КОИ-8 ISO MAC
Кодировка Unicode 1 символ - 2 байта (16 бит), которыми можно закодировать 65 536 символов
ОСНОВЫ ЛОГИКИ И ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА
ФОРМЫ МЫШЛЕНИЯ • ЛОГИКА — это наука о формах и законах человеческого мышления и, в частности, о законах доказательных рассуждений. • Логика изучает мышление как средство познания объективного мира. Законы логики отражают в сознании человека свойства, связи и отношения объектов окружающего мира. Формальная логика связана с анализом наших обычных содержательных умозаключений, выражаемых разговорным языком. Математическая логика изучает только умозаключения со строго определенными объектами и суждениями, для которых можно однозначно решить, истинны они или ложны. Идеи и аппарат логики используется в кибернетике, вычислительной технике и электротехнике (построение компьютеров основано на законах математической логики). В основе логических схем и устройств ПК лежит специальный математический аппарат, использующий законы логики. Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем. Знание логики необходимо при разработке алгоритмов и программ, так как в большинстве языков программирования есть логические операции. • • •
Основные формы мышления Основными формами мышления являются: ПОНЯТИЯ, СУЖДЕНИЯ, УМОЗАКЛЮЧЕНИЯ. ПОНЯТИЕ форма мышления, в которой отражаются существенные признаки отдельного объекта или класса однородных объектов. Примеры: портфель, трапеция, ураганный ветер. Понятие имеет две стороны: содержание и объем. Содержание понятия составляет совокупность существенных признаков объекта. Чтобы раскрыть содержание понятия, следует найти признаки, необходимые и достаточные для выделения данного объекта из множества других объектов. Например, содержание понятия «персональный компьютер» можно раскрыть следующим образом: «Персональный компьютер — это универсальное электронное устройство для автоматической обработки информации, предназначенное для одного пользователя» . Объем понятия определяется совокупностью предметов, на которую оно распространяется. Объем понятия «персональный компьютер» выражает всю совокупность (сотни миллионов) существующих в настоящее время в мире персональных компьютеров. СУЖДЕНИЕ – это форма мышления, в которой что либо утверждается или отрицается об объектах, их свойствах и отношениях. Суждениями обычно являются повествовательными предложениями, которые могут быть или истинными или ложными. «Берн — столица Франции» , «Река Кубань впадает в Азовское море» , « 2>9» , « 3× 5=10» УМОЗАКЛЮЧЕНИЕ – это форма мышления, посредством которой из одного или нескольких истинных суждений, называемых посылками, мы по определенным правилам вывода получаем новое суждение (заключение). Все металлы - простые вещества. Литий - металл. → Литий - простое вещество. Один из углов треугольника равен 90º. → Этот треугольник прямоугольный.
АЛГЕБРА ВЫСКАЗЫВАНИЙ • В основе работы логических схем и устройств персонального компьютера лежит специальный математический аппарат математическая логика. Математическая логика изучает вопросы применения математических методов для решения логических задач и построения логических схем. Знание логики необходимо при разработке алгоритмов и программ, так как в большинстве языков программирования есть логические операции. • Английский математик Джордж Буль (1815 — 1864 г. ) создал логическую алгебру, в которой высказывания обозначены буквами. Сочинение Джорджа Буля, в котором подробно исследовалась эта алгебра, было опубликовано в 1854 г. Оно называлось «Исследование законов мысли» ( «Investigation of the Laws of Thought» ). Отсюда ясно, что Буль рассматривал свою алгебру как инструмент изучения законов человеческого мышления, то есть законов логики. Алгебру логики иначе называют алгеброй высказываний. В математической логике суждения называются высказываниями.
ВЫСКАЗЫВАНИЕ - это повествовательное предложение, о котором можно сказать, что оно или истинно или ложно. Ш Например: Земля - планета Солнечной системы. (Истинно) 2+8<5 (Ложно) 5 · 5=25 (Истинно) Всякий квадрат есть параллелограмм (Истинно) Каждый параллелограмм есть квадрат (Ложно) 2 · 2 =5 (Ложно) Ш Не всякое предложение является высказыванием: 1) Восклицательные и вопросительные предложения высказываниями не являются. “Какого цвета этот дом? ” “Пейте томатный сок!” “Стоп!” 2) Не являются высказываниями и определения. “Назовем медианой отрезок, соединяющий вершину треугольника с серединой противоположной стороны”. Определения не бывают истинными или ложными, они лишь фиксируют принятое использование терминов. 3) Не являются высказываниями и предложения типа “Он сероглаз” или “х- 4 х + 3=0” в них не указано о каком человеке идет речь или для какого числа х верно равенство. Такие предложения называются высказывательными формами. Ш Высказывательная форма — это повествовательное предложение, которое прямо или косвенно содержит хотя бы одну переменную и становится высказыванием, когда все переменные замещаются своими значениями.
Высказывания могут быть простыми и сложными. Высказывание считается простым, если никакую его часть нельзя рассматривать как отдельное высказывание Некоторые высказывания можно разложить на отдельные части, при этом каждая такая часть будет самостоятельным высказыванием. Например, высказывание “Сегодня в 4 часа дня я был в школе, а к 6 часам вечера пошел на каток” состоит из 2 частей. Высказывание может состоять и из большего количества частей. Высказывание, которое можно разложить на части, будем называть сложным, а неразложимое далее высказывание - простым. Сложное высказывание получается путем объединения простых высказываний логическими связками — НЕ, И, ИЛИ. Значение истинности сложных высказываний зависит от истинности входящих в них простых высказываний и объединяющих их связок. Например, даны простые высказывания: На улице идет дождь. На улице светит солнце. На улице пасмурная погода. Составим из них сложные высказывания: На улице идет дождь и на улице светит солнце. На улице светит солнце или на улице пасмурная погода. Неверно что на улице идет дождь.
• В математической логике не рассматривается конкретное содержание высказывания, важно только, истинно оно или ложно. Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только 0 или 1. Если высказывание истинно, то его значение равно 1, если ложно - 0. • Простые высказывания назвали логическими переменными и для простоты записи их обозначают латинскими буквами: А, В, С… Луна является спутником Земли. А = 1 Москва – столица Германии. В = 0 • Сложные высказывания называются логическими функциями. Значения логической функции также может принимать значения только 0 или 1.
БАЗОВЫЕ ЛОГИЧЕСКИЕ ОПЕРАЦИИ В алгебре высказываний, как и в обычной алгебре, вводится ряд операций. Логические связки И, ИЛИ и НЕ заменяются логическими операциями: конъюнкцией, дизъюнкцией и инверсией. Это основные логические операции, при помощи которых можно записать любую логическую функцию.
1. Логическая операция ИНВЕРСИЯ (ОТРИЦАНИЕ) Ш соответствует частице НЕ Ш обозначается черточкой над именем переменной или знаком ¬ перед переменной Ш Инверсия логической переменной истинна, если сама переменная ложна, и, наоборот, инверсия ложна, если переменная истинна. Таблица истинности инверсии имеет вид: A 0 1 1 0
2. Логическая операция ДИЗЪЮНКЦИЯ (ЛОГИЧЕСКОЕ СЛОЖЕНИЕ) Ш соответствует союзу ИЛИ Ш обозначается знаком v или + или ║ Ш Дизъюнкция двух логических переменных ложна тогда и только тогда, когда оба высказывания ложны. Это определение можно обобщить для любого количества логических переменных, объединенных дизъюнкцией. А v В v С =0, только если А=0, В=0, С=0. Таблица истинности дизъюнкции имеет следующий вид: A B АVВ 0 0 1 1 1 0 1 1
3. Логическая операция КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ) Ш соответствует союзу И Ш обозначается знаком & или Λ, или · Ш Конъюнкция двух логических переменных истинна тогда и только тогда, когда оба высказывания истинны. Это определение можно обобщить для любого количества логических переменных, объединенных конъюнкцией. А & В & С=1, только если А=1, В=1, С=1. Таблица истинности конъюнкции имеет следующий вид: A B А&В 0 0 1 1 1
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ТАБЛИЦЫ ИСТИННОСТИ • Сложные высказывания можно записывать в виде формул. Для этого простые логические высказывания нужно обозначить как логические переменные буквами и связать их с помощью знаков логических операций. Такие формулы называются логическими выражениями. Например: • Чтобы определить значение логического выражения необходимо подставить значения логических переменных в выражение и выполнить логические операции. Операции в логическом выражении выполняются слева направо с учетом скобок в следующем порядке: 1. инверсия; 2. конъюнкция; 3. дизъюнкция; 4. импликация и эквивалентность. Для изменения указанного порядка выполнения логических операций используются круглые скобки.
Таблицы истинности • Для каждого составного высказывания (логического выражения) можно построить таблицу истинности, которая определяет истинность или ложность логического выражения при всех возможных комбинациях исходных значений простых высказываний (логических переменных). • При построении таблиц истинности целесообразно руководствоваться определенной последовательностью действий: 1) записать выражение и определить порядок выполнения операций 2) определить количество строк в таблице истинности. Оно равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение (определяется по формуле. Q=2 n , где n количество входных переменных) 3) определить количество столбцов в таблице истинности (= количество логических переменных + количество логических операций) 4) построить таблицу истинности, обозначить столбцы (имена переменных и обозначения логических операций в порядке их выполнения) и внести в таблицу возможные наборы значений исходных логических переменных. 5) заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности и в соответствии с их таблицами истинности Теперь мы можем определить значение логической функции для любого набора значений логических переменных.
Например, построим таблицу истинности для логической функции: Количество входных переменных в заданном выражении равно трем (A, B, C). Значит, количество входных наборов, а значит и строк Q=23=8. Количество столбцов равно 6 (3 переменные + 3 операции). Столбцы таблицы истинности соответствуют значениям исходных выражений A, B, C, промежуточных результатов и (B V C), а также искомого окончательного значения сложного арифметического выражения
A B C BVC
A B C 0 0 0 1 1 1 0 0 1 1 1 BVC
A B C BVC 0 0 0 1 1 0 1 1 1 0 0 0 1 0 1 1 0 0 1 1 1 0 Задание. Постройте таблицу истинности для данного логического выражения:
А В 0 0 0 1 1 1 1 0 1 0 0 0 1 1 1 0 1 1 Равносильные логические выражения. Логические выражения, у которых последние столбцы таблиц истинности совпадают, называются равносильными. Для обозначения равносильных логических выражений используется знак =. Например:
ЗАПИСЬ ЛОГИЧЕСКОГО ВЫРАЖЕНИЯ ПО ТАБЛИЦЕ ИСТИННОСТИ Правила построения логического выражения: 1. Для каждой строки таблицы истинности с единичным значением функции построить минтерм. Минтермом называется произведение, в котором каждая переменная встречается только один раз — либо с отрицанием, либо без него. Переменные, имеющие нулевые значения в строке, входят в минтерм с отрицанием, а переменные со значением 1 — без отрицания. 2. Объединить все минтермы операцией дизъюнкция (логическое сложение), что даст стандартную сумму произведений для заданной таблицы истинности.
X 2 X 3 F 0 0 0 1 1 0 1 0 1 0 0 1 Построим логическое выражение для F. Найдем строки, в которых F=1. Это вторая, третья и шестая. X 1 1 Пример. Дана таблица истинности: 1 1 0 Для второй строки X 1=0, Х 2=0, X 3=1. Эту строку описывает минтерм Для третьей строки X 1=0, Х 2=1, X 3=0. Эту строку описывает минтерм Для шестой строки X 1=1, X 2=0, X 3=1. Эту строку описывает минтерм Объединяя термы, получим булево выражение F = В это выражение вошли термы произведения для строк с единичным значением функции F, а вся сумма соответствует совокупности из трех строк. Для остальных пяти наборов значений входных переменных это выражение равно нулю.
Логические функции • • Любое логическое выражение (составное высказывание) можно рассматривать как логическую функцию F(X 1, X 2, . . . , Xn) аргументами которой являются логические переменные X 1, X 2, . . . , Хn (простые высказывания). Сама функция как и аргументы могут принимать только два различных значения: «истина» (1) и «ложь» (0). Выше были рассмотрены функции двух аргументов: логическое умножение F(A, B) = A&B, логическое сложение F(A, B) = AVB, а также логическое отрицание F(A) = ¬А, в котором значение второго аргумента можно считать равным нулю. Каждая логическая функция двух аргументов имеет четыре возможных набора значений аргументов. Может существовать N = 24 = 16 различных логических функций двух аргументов. Таким образом, существует 16 различных логических функций двух аргументов, каждая из которых задается своей таблицей истинности :
Аргументы Логические функции А В F 1 F 2 F 3 F 4 F 5 F 6 F 7 F 8 F 9 F 10 F 11 F 12 F 13 F 14 F 15 F 16 0 0 0 0 0 1 1 1 1 0 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 0 1 0 1 Легко заметить, что здесь логическая функция F 2 является функцией логического умножения, F 8 — функцией логического сложения, F 13 — функцией логического отрицания для аргумента А и F 11 — функцией логического отрицания для аргумента В. В обыденной и научной речи кроме базовых логических связок «и» , «или» , «не» используются и некоторые другие: «если. . . то. . . » , «. . . тогда и только тогда, когда. . . » и др. Не которые из них имеют свое название и свой символ, и им со ответствуют определенные логические функции.
ИМПЛИКАЦИЯ (ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ). • • Импликация двух высказываний А и В соответствует союзу «ЕСЛИ…ТО» . Она обозначается символом → Запись А → В читается как «из А следует В» Импликация двух высказываний истинна всегда, кроме случая, если первое высказывание истинно, а второе ложно. Таблица истинности импликации двух суждений А и В такова: А В А→В 0 0 1 1 1 В программировании эту операцию обозначают «IMP» .
ЭКВИВАЛЕНТНОСТЬ (ЛОГИЧЕСКОЕ РАВЕНСТВО, ФУНКЦИЯ ТОЖДЕСТВА) • • Она обозначается символами ≡ или <=>. ( «тогда и только тогда» ). Запись А ≡ В читается как «А эквивалентно В» . Эквивалентность двух высказываний истинна только в тех случаях, когда оба высказывания ложны или оба истинны. Таблица истинности эквивалентности двух суждений А и В такова: А В А≡В 0 0 1 0 1 0 0 1 1 1 В программировании эту операцию обозначают «EQV» . В алгебре высказываний все логические функции могут быть сведены путём логических преобразований к трём базовым логическим операциям: инверсии, дизъюнкции и конъюнкции
Логические законы и правила преобразования логических выражений Равносильности формул логики высказываний часто называют законами логики. Законы логики отражают наиболее важные закономерно сти логического мышления. В алгебре высказываний законы логики записываются в виде формул, которые позволяют проводить эквивалентные преобразования логических выражений в соответствие с законами логики. Знание законов логики позволяет проверять правильность рассуждений и доказательств. Нарушения этих законов приводят к логическим ошибкам и вытекающим из них противоречиям. Перечислим наиболее важные из них:
1. Закон тождества. Всякое высказывание тождественно самому себе: Этот закон сформулирован древнегреческим философом Аристотелем. Закон тождества утверждает, что мысль, заключенная в некотором высказывании, остается неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует. 2. Закон непротиворечия. Высказывание не может быть одновременно истинным и ложным. Если высказывание А — истинно, то его отрицание не А должно быть ложным. Следовательно, логическое произведение высказывания и его отрицания должно быть ложно: Закон непротиворечия говорит о том, что никакое предложение не может быть истинно одновременно со своим отрицанием. “Это яблоко спелое” и “Это яблоко не спелое”
3. Закон исключенного третьего. Высказывание может быть либо истинным, либо ложным, третьего не дано. Это означа ет, что результат логического сложения высказывания и его отрицания всегда принимает значение истина: Закон исключенного третьего говорит о том, что для каждого высказывания имеются лишь две возможности: это высказывание либо истинно, либо ложно. Третьего не дано. “Сегодня я получу 5 либо не получу”. Истинно либо суждение, либо его отрицание. 4. Закон двойного отрицания. Если дважды отрицать неко торое высказывание, то в результате мы получим исходное высказывание: Закон двойного отрицания. Отрицать отрицание какого нибудь высказывания то же, что утверждать это высказывание. “ Неверно, что 2× 2¹ 4”
5. Законы идемпотентности. В алгебре логики нет показателей степеней и коэффициентов. Конъюнкция одинаковых «сомножителей» равносильна одному из них: Дизъюнкция одинаковых «слагаемых» равносильна одному: 6. Законы де Моргана: Смысл законов де Моргана (Август де Морган (1806 1871) шотландский математик и логик) можно выразить в кратких словесных формулировках: отрицание логической суммы эквивалентно логическому произведению отрицаний слагаемых; отрицание логического произведения эквивалентно логической сумме отрицаний множителей.
. 7 Правило коммутативности. В обычной алгебре слагаемые и множители можно менять местами. В алгебре высказыва ний можно менять местами логические переменные при опе рацияхлогического умножения и логического сложения: Логическое умножение: Логическое сложение: . 8 Правило ассоциативности. Если в логическом выраже нии используются только операция логического умножения или только операция логического сложения, то можно пре небрегать скобками или произвольно их расставлять: Логическое умножение: Логическое сложение:
9. Правило дистрибутивности. В отличие от обычной алгеб ры, где за скобки можно выносить только общие множители, в алгебре высказываний можно выносить за скобки, как общие множители, так и общие слагаемые: Дистрибутивность умножения относительно сложения: Дистрибутивность сложения относительно умножения: 10. 11. 12. Законы поглощения:
ЛОГИЧЕСКИЕ ОСНОВЫ КОМПЬЮТЕРА
Логические элементы В основе обработки компьютером информации лежит алгебра логики, разработанная Дж. Булем. Знания из области математической логики можно использовать для конструирования различных электронных устройств. Нам известно, что 0 и 1 в логике не просто цифры, а обозначение состояний какого то предмета нашего мира, условно называемых "ложь" и "истина". Таким предметом, имеющим два фиксированных состояния, может быть электрический ток. Были созданы устройства управления электричеством электронные схемы, состоящие из набора полупроводниковых элементов. Такие электронные схемы, которые преобразовывают сигналы только двух фиксированных напряжений электрического тока стали называть логическими элементами. Логические элементы — это электронные устройства, которые преобразуют проходящие через них двоичные электрические сигналы по определенному закону. Логические элементы имеют один или несколько входов, на которые подаются электрические сигналы, обозначаемые условно 0, если отсутствует электрический сигнал, и 1, если имеется электрический сигнал. Также логические элементы имеют один выход, с которого снимается преобразованный электрический сигнал. Было доказано, что все электронные схемы компьютера могут быть реализованы с помощью трёх базовых логических элементов И, ИЛИ, НЕ.
Логический элемент НЕ (инвертор) Простейшим логическим элементом является инвертор, выполняющий функцию отрицания (инверсию). У этого элемента один вход и один выход. На функциональных схемах он обозначается: Если на вход поступает сигнал, соответствующий 1, то на выходе будет 0. И наоборот. вход выход 1 0 0 1
Логический элемент ИЛИ (дизъюнктор) Логический элемент, выполняющий логическое сложение, называется дизъюнктор. Он имеет, как минимум, два входа. На функциональных схемах он обозначается: Если хотя бы на один вход поступает сигнал 1, то на выходе будет сигнал 1. вход 1 вход 2 выход 0 0 1 1 1 0 1 1
Логический элемент И (конъюнктор) Логический элемент, выполняющий логическое умножение, называется конъюнктор. Он имеет, как минимум, два входа. На функциональных схемах он обозначается: На выходе этого элемента будет сигнал 1 только в том случае, когда на все входы поступает сигнал 1. Когда хотя бы на одном входе будет ноль, на выходе также будет ноль. выход вход 1 вход 2 0 0 1 1 1 Другие логические элементы построены из трех простейших базовых элементов и выполняют более сложные логические преобразования информации.
Рассмотрим еще два логических элемента, которые играют роль базовых при создании более сложных элементов и схем. Логический элемент И-НЕ выполняет логическую функцию штрих Шеффера (И-НЕ), он имеет, как минимум, два входа. На функциональных схемах он обозначается: вход 1 вход 2 выход 0 0 1 1 1 0 Логический элемент ИЛИ-НЕ выполняет логическую функцию стрелка Пирса (И-НЕ), он имеет, как минимум, два входа. На функциональных схемах он обозначается: вход. 1 вход 2 выход 0 0 1 0 1 0 0 1 1 0
Функциональные схемы Сигнал, выработанный одним логическим элементом, можно подавать на вход другого элемента, это дает возможность образовывать цепочки из отдельных логических элементов — функциональные схемы. Функциональная (логическая) схема – это схема, состоящая из логических элементов, которая выполняет определённую функцию. Анализируя функциональную схему, можно понять, как работает логическое устройство, т. е. дать ответ на вопрос: какую функцию она выполняет. Важной формой описания функциональных схем является структурная формула. Покажем на примере, как выписывают формулу по заданной функциональной схеме. Ясно, что элемент “И” осуществляет логическое умножение значений ¬А и В. Над результатом в элементе “НЕ” осуществляется операция отрицания, т. е. вычисляется значение выражения: Таким образом структурной формулой данной функциональной схемы является формула:
Таблица истинности функциональной схемы Для функциональной схемы можно составить таблицу истинности, то есть таблицу значений сигналов на входах и выходах схемы, по которой можно понять какую функцию выполняет данная схема. Таблица истинности - это табличное представление логической (функциональной) схемы в котором перечислены все возможные сочетания значений входных сигналов вместе со значением выходного сигнала для каждого из этих сочетаний. Составим таблицу истинности для данной логической схемы: Начертим таблицу: количество столбцов = количество входов + количество выходов, количество строк = 2 количество входов. В данной таблице 3 столбца и 4 строки. Заполним первые столбцы всеми возможными вариантами входных сигналов А (вход 1) В (вход 2) 0 0 0 1 1 С (выход)
Рассмотрим первый вариант входных сигналов: А=0, В=0. Проследим по схеме, как проходят и преобразуются входные сигналы. Результат, полученный на выходе (С=1), запишем в таблицу. Рассмотрим второй вариант входных сигналов: А=0, В=1. Проследим по схеме, как проходят и преобразуются входные сигналы. Результат, полученный на выходе (С=0), запишем в таблицу. Рассмотрим третий вариант входных сигналов: А=1, В=0. Проследим по схеме, как проходят и преобразуются входные сигналы. Результат, полученный на выходе (С=1), запишем в таблицу.
Рассмотрим четвёртый вариант входных сигналов: А=1, В=1. Проследим по схеме, как проходят и преобразуются входные сигналы. Результат, полученный на выходе (С=1), запишем в таблицу. В результате получаем таблицу истинности данной логической схемы: А (вход 1) В (вход 2) С (выход) 0 0 1 0 1 1 1 1 Задание. Построить таблицу истинности для данной логической схемы и записать формулу для данной схемы:
Логическая реализация типовых устройств компьютера Обработка любой информации на компьютере сводится к выполнению процессором различных арифметических и логических операций. Для этого в состав процессора входит так называемое арифметико логическое устройство (АЛУ). Оно состоит из ряда устройств, построенных на рассмотренных выше логических элементах. Важнейшими из таких устройств являются триггеры, полусумматоры, шифраторы, дешифраторы, счетчики, регистры. Выясним , как из логических элементов разрабатываются логические устройства.
Этапы конструирования логического устройства. Конструирование логического устройства состоит из следующих этапов: 1. Построение таблицы истинности по заданным условиям работы проектируемого узла (т. е. по соответствию его входных и выходных сигналов). 2. Конструирование логической функции данного узла по таблице истинности, ее преобразование (упрощение), если это возможно и необходимо. 3. Составление функциональной схемы проектируемого узла по формуле логической функции. После этого остается только реализовать полученную схему.
Задание. Построить логическую схему для заданной таблицы истинности: С F 0 0 0 1 1 1 0 0 0 1 0 1 Построим логическую схему для данного выражения: В 0 Упростим полученное логическое выражение: А 0 Запишем логическую функцию по данной таблице истинности: 1 0 0 1 1
Попробуем, действуя по этому плану, сконструировать устройство для сложения двух двоичных чисел (одноразрядный полусумматор). Пусть нам необходимо сложить двоичные числа А и В. Через P и S обозначим первую и вторую цифру суммы: A + B = PS. Вспомните таблицу сложения двоичных чисел. 1. Таблица истинности, определяющая результат сложения, имеет вид: Слагаемые Перенос Сумма А В Р S 0 0 0 1 1 0 2. Сконструируем функции P(A, B) и S(A, B) по этой таблице: Преобразуем вторую формулу, пользуясь законами логики:
3. Теперь можно построить функциональную схему одноразрядного полусумматора: Чтобы убедиться в том, как работает схема, проследите за прохождением сигналов в каждом из четырёх случаев и составьте таблицу истинности данной логической схемы. Условное обозначение одноразрядного сумматора:
Полный одноразрядный сумматор. Одноразрядный двоичный сумматор на три входа и два выхода называется полным одноразрядным сумматором. Логика работы одноразрядного сумматора на три входа или полного сумматора приведена в таблице, где А, В суммируемые двоичные цифры , Pо перенос из младшего разряда, S образующаяся сумма данного разряда и осуществляет перенос P в следующий старший разряд. Слагаемые Перенос из младшего Сумма Перенос разряда А B P 0 S P 0 0 0 0 1 1 0 0 1 0 1 1 1 0 0 1 1 1 Формула переноса: Формула для вычисления суммы:
После преобразования формулы переноса и суммы принимают вид: Теперь можно построить схему полного одноразрядного сумматора с учётом переноса из младшего разряда.
Сумматор это электронная логическая схема, выполняющая суммирование двоичных чисел поразрядным сложением. Сумматор является центральным узлом арифметико логического устройства процессора. Находит он применение и в других устройствах компьютера. В реальных электронных схемах сумматор изображается так: Сумматор выполняет сложение многозначных двоичных чисел. Он представляет собой последовательное соединение одноразрядных двоичных сумматоров, каждый из которых осуществляет сложение в одном разряде. Если при этом возникает переполнение разряда, то перенос суммируется с содержимым старшего соседнего разряда. На рисунке показано, как из N сумматоров можно составить устройство для сложения двух N разрядных двоичных кодов, это схема многоразрядного сумматора.
ТРИГГЕР Триггер электронная схема, применяемая для хранения значения одноразрядного двоичного кода. Воздействуя на входы триггера, его переводят в одно из двух возможных состояний (0 или 1). С поступлением сигналов на входы триггера в зависимости от его состояния либо происходит переключение, либо исходное состояние сохраняется. При отсутствии входных сигналов триггер сохраняет свое состояние сколь угодно долго. Термин триггер происходит от английского слова trigger защёлка, спусковой крючок. Для обозначения этой схемы в английском языке чаще употребляется термин flip-flop, что в переводе означает "хлопанье". Это звукоподражательное название электронной схемы указывает на её способность почти мгновенно переходить ("перебрасываться") из одного электрического состояния в другое. Существуют разные варианты исполнения триггеров в зависимости от элементной базы (И НЕ, ИЛИ НЕ) и функциональных связей между сигналами на входах и выходах (RS, JK, T, D и другие). Самый распространённый тип триггера это RS триггер (S и R соответственно от английских set установка, и reset сброс). Условное обозначение RS триггера:
RS триггер построен на 2 х логических элементах: ИЛИ НЕ либо И – НЕ. Как, правило, триггер имеет 2 выхода: прямой и инверсный Q и Как он работает? Пусть на вход элемента № 1 подан сигнал 1, а на вход элемента № 3 0. На выходе элемента № 1 независимо от того, какой второй сигнал поступит на вход, будет 1, т. к. это элемент ИЛИ (по свойствам дизъюнкции). Пройдя через элемент № 2 сигнал примет значение 0 (Q=0). Следовательно, и на втором входе элемента № 3 установится сигнал 0. На выходе элемента № 3 0. Пройдя через элемент № 4 сигнал изменится на 1. Следовательно, = 1. Убедимся, что данное устройство сохраняет информацию. Запомните, что S=0, R=1, Q=0, =1. В момент прекращения входных сигналов (S=0, R=0) на выходе =1. Это напряжение подается на вход элемента № 1. На выходе элемента № 1 сохраняется 1, и на Q сигнал 0. На входах элемента № 3 0, следовательно =1. Таким образом, при отсутствии на внешних входах сигналов 1 триггер поддерживает постоянное напряжение на своих выходах. Чтобы изменить напряжение на выходах триггера, надо подать сигнал 1 на вход элемента № 3. Тогда Q=1, =0.
RS триггер Вход Выход Режим работы S R Q 0 0 Хранение 1 0 Запись 1 0 1 Запись 0 1 1 Х Х Запрещение ( )
РЕГИСТРЫ Функциональная схема компьютера, состоящая из триггеров, предназначенная для запоминания многоразрядных кодов и выполнения над ними некоторых логических преобразований называется регистром. Упрощенно регистр можно представить как совокупность ячеек, в каждой из которых может быть записано одно из двух значений: 0 или 1, то есть один разряд двоичного числа. С помощью регистров можно выполнять следующие операции: установку, сдвиг, преобразование. Основными типами регистров являются параллельные и последовательные (сдвигающие). Совокупность регистров, используемых ЭВМ для запоминания программы работы, исходных и промежуточных результатов называется оперативной памятью (ОП). Регистры содержатся в различных вычислительных узлах компьютера процессоре, периферийных устройствах и т. д. Регистр это устройство, предназначенное для хранения многоразрядного двоичного числового кода, которым можно представлять и адрес, и команду, и данные.
РЕГИСТРЫ Существует несколько типов регистров, отличающихся видом выполняемых операций. Некоторые важные регистры имеют свои названия, например: сдвиговый регистр предназначен для выполнения операции сдвига; счетчики схемы, способные считать поступающие на вход импульсы. К ним относятся Т триггеры (название от англ. tumble опрокидываться). Этот триггер имеет один счетный вход и два выхода. Под действием сигналов триггер меняет свое состояние с нулевого на единичное и наоборот. Число перебрасываний соответствует числу поступивших сигналов; счетчик команд регистр устройства управления процессора (УУ), содержимое которого соответствует адресу очередной выполняемой команды; служит для автоматической выборки программы из последовательных ячеек памяти; регистр команд регистр УУ для хранения кода команды на период времени, необходимый для ее выполнения. Часть его разрядов используется для хранения кода операции, остальные для хранения кодов адресов операндов. В ЭВМ применяются регистры 8, 16, 32, 48 и 64 разрядов.
ШИФРАТОРЫ И ДЕШИФРАТОРЫ Шифратор и дешифратор являются типовыми узлами ЭВМ. Шифратор (кодер) это логическое устройство, которое преобразует единичный сигнал на одном из входов в n-разрядный двоичный код. Наибольшее применение он находит в устройствах ввода информации (например в клавиатуре), для преобразования десятичных чисел в двоичную систему счисления. Дешифратор (декодер) это логическое устройство, преобразующее двоичный код, поступающий на его входы, в сигнал только на одном из его выходов. Дешифраторы широко применяются в устройствах управления, в системах цифровой индикации с газоразрядными индикаторами, для построения распределителей импульсов по различным цепям и т. д. Схема используется для перевода двоичных цифр в десятичные. Дешифратор двоичного n разрядного кода имеет 2 n выходов, т. к. каждому из 2 n значений входного кода должен соответствовать единичный сигнал на одном из выходов дешифратора.


