Угринович Н., Босова Л., Михайлова Н. Практикум по информатике и информационным технологиям

Подождите немного. Документ загружается.

Глава

жений и операционной системы, что может приводить к

повреждению отдельных кластеров и файлов. Могут появиться

сбойные (нечитаемые) кластеры, в каталогах

могут

быть изме-

нены

имена файлов, а в таблицах FAT

могут

появиться нару-

шения

в цепочках размещения файлов (некоторые цепочки мо-

гут быть оборваны, один и тот же кластер может принадлежать

различным файлам и др.).

Для восстановления файловой системы используются специ-

альные программы. В операционной системе

Windows

такой

программой является служебная программа Проверка диска,

которая автоматически запускается при загрузке

Windows

по-

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

обходимости запущена пользователем в произвольный момент.

Пример 2.61. Осуществить проверку файловой системы дис-

ка.

J«3£

Проверка файловой системы диска

Запустить

служебную

программу Проверка диска командой

[Программы-Стандартные-Служебные-Проверка диска].

2 На появившемся диалоговом окне программы выбрать прове-

ряемый диск (например, С:).

Установить переключатель

Проверка

в положение Полная,

если требуется проверка поверхности диска.

Щелкнуть по кнопке

Дополнительно.

I. Выберите

диски,

которые олёа^ег лроееритъс

(E:|

Г" Проверка

-™~—:-'""

•:r—~r-r~rr"~:~:~"'

~*:

.»-~*

-']

Стандартная'

' ' . •'- ••.•';.-••••' .;ч ' ^

А (проверка папок

файлов

на

наличие ошибок!

..:...

<•". £}олная

=•

..:;=.:

•'

;

/. .• ••

(стандартная проверка

и;

проверка гюверхностидиска|

Г"

Исправлять ошибки аегоматически

л!

..Запуск

Закрыть

Дополнительно...

На

появившейся диалоговой панели

Дополнительные

пара-

метры

проверки

диска

с помощью переключателей и флаж-

ков

установить требуемые параметры и щелкнуть по кнопке

ОК.

Кодирование информации. Системы счисления

Дополнительные параметры проверки диска

- Выводить итоговые результаты-

| <• Всегда

г-

Потерянные цепочки кластеров-—

С* Освобождать

(* Преобразовывать

Файлы

Холько при наличии ошибок

Файл

протокола

& Заменить

С Дополнить

С Не вести протокол,

Файлы

общими

кластерами

(* Делать копии

С Пропускать

- Проверять

Правильность имен Файлов

Р Дату

время создания Файлов

Р Уникальность имен файлов

Проверить сперва несущий диск

Р Сообщать об ошибках длины

имен

Файлов

для режима MS-DOS

if"

(ЯГИ|

Отмена

окне программы щелкнуть

по

кнопке Запуск. После

окончания

проверки

восстановления сбойных кластеров

файлов

появится окно

информацией

состоянии диска

по-

сле проверки.

течением времени

процессе записи

удаления файлов

происходит

их

дефрагментация,

то

есть нарушается первонача-

льное размещение файлов

последовательно идущих

друг

за

другом

кластерах.

результате

файлы

могут

быть размещены

кластерах, хаотически разбросанных

по

всему диску,

что за-

медляет доступ

к ним и

может привести

преждевременному

износу жесткого диска.

Рекомендуется периодически проводить дефрагментацию

дисков,

то

есть восстановление первоначального упорядоченно-

го размещения файлов

последовательных секторах. Дефраг-

ментация

дисков осуществляется

помощью специальных

про-

грамм,

состав

Windows

входит

служебная программа

Дефрагментация диска.

Пример

2.62.

Осуществить дефрагментацию диска.

Jjjf

Дефрагментация диска

Запустить

служебную

программу Дефрагментация диска

командой

[Программы-Стан-

дартные-Служебные-Дефраг-

ментация

диска].

На

появившейся диалоговой

па-

нели

Выбор

диска

выбрать

деф-

рагментируемый диск (напри-

мер,

С:).

Щелкнуть

по

кнопке

ОК.

Выберите

деФрагмситируемый диск

ними

^Диск

13 Диск

пв

Физический диск

•*!

Физический диск

>rj

UJfJJI

Optimize

Глава

появившемся

окне

Дефрагментация

диска

можно

визуаль-

но

наблюдать

процесс

дефрагментации

и его

результат,

если

щелкнуть

по

кнопке

Сведения.

illllillllillllllllllllllllllilllli

Задания для самостоятельного

выполнения

2.87. Информация на каких носителях (гибких магнитных дисках, жест-

ких магнитных дисках, оптических дисках) может быть утеряна

(перестать считываться), если:

а) хранить носители несколько часов под прямыми лучами солнца;

б) уронить носитель со стола;

в) случайно прикоснуться загрязненной рукой к поверхности носи-

теля?

2.88. Какой объем оперативной памяти требуется для хранения текста

статьи объемом 4 страницы, на каждой из которых размещены 32

строки по 64 символа?

2.89. Часть страниц многотомной энциклопедии является цветными

изображениями в шестнадцатицветной палитре и в формате 320 х

640 точек; страницы, содержащие текст, имеют формат — 32 стро-

ки

по 64 символа в строке. Сколько страниц книги можно сохранить

на

жестком магнитном диске объемом 20 Мб, если каждая девятая

страница энциклопедии — цветное изображение?

2.90. Сколько текстовых файлов можно записать на гибкий диск формата

3,5", если информационный объем текста:

а)

байт;

б) 500 байт;

в) 1030 байт.

2.91. Информация о каждом из 88 сотрудников фирмы объемом

18390

знаков

находится в отдельном файле. Можно ли, не прибегая к ар-

хивированию, переписать все эти файлы на 1 гибкий магнитный

диск

формата 3,5"?

Кодирование

информации.

Системы

счисления

2.92. Информация о каждом из 88 сотрудников фирмы объемом

18390

знаков

находится в одном общем файле sotr.txt. Можно ли, не прибе-

гая к архивированию, переписать этот файл на один гибкий магнит-

ный

диск формата 3,5"?

2.93. Сколько текстовых файлов объемом 400 байт можно записать на же-

сткий

диск, если используется таблица размещения файлов FAT 16

емкость жесткого диска равна:

а) 200 Мбайт;

б) 2 Гбайта;

в) 20 Гбайт?

2.94. Сколько текстовых файлов объемом 400 байт можно записать на же-

сткий

диск, если используется таблица размещения файлов FAT32

емкость жесткого диска равна:

а) 200 Мбайт;

б) 2 Гбайта;

в) 20 Гбайт?

2.95. Определите размер кластера жесткого диска, установленного на ва-

шем компьютере.

2.96. Если на вашем компьютере установлен жесткий диск объемом более

Гбайта, преобразовать таблицу размещения файлов из FAT 16 в

FAT32 с использованием служебной программы

Windows

Преобра-

зование

диска в FAT32.

2.97. Осуществите проверку дисков вашего компьютера с помощью слу-

жебной программы

Windows

Проверка диска.

2.98. Осуществите дефрагментацию дисков вашего компьютера с помо-

щью служебной программы

Windows

Дефрагментация.

Глава

Основы

логики

логические

основы

компьютера

В процессе изучения данной темы

рекомендуется установить следующее "

свободно распространяемое программное

обеспечение:

• калькуляторы

Wise

Calculator и NumLock Calculator

для выполнения логических операций;

• электронные таблицы

StarOffice

Calc, входящие

состав интегрированного офисного приложения

StarOffice, для построения таблиц истинности

логических выражений.

3.1.

Основы

логики

Первые учения о формах и способах рассуждений возникли

странах Древнего Востока (Китай,

Индия),

но в основе совре-

менной

логики лежат учения, созданные в 4 веке до нашей эры

древне-греческими мыслителями. Основы формальной логики

заложил Аристотель, который впервые отделил логические

формы

речи от ее содержания. Он исследовал терминологию

логики,

подробно разобрал теорию умозаключений и доказа-

тельств, описал ряд логических операций, сформулировал

основные

законы мышления.

Логика изучает внутреннюю

структуру

процесса мышления,

который

реализуется в таких естественно сложившихся фор-

мах как понятие, суждение, умозаключение и доказательство.

Понятие.

Понятие — это форма мышления, отражающая

наиболее существенные свойства предмета, отличающие его от

других

предметов. В

структуре

каждого понятия нужно разли-

чать две стороны: содержание и объем. Содержание понятия со-

ставляет совокупность существенных признаков предмета. Что-

бы раскрыть содержание понятия,

следует

выделить признаки,

необходимые и достаточные для выделения данного предмета

по

отношению к другим предметам.

Объем понятия определяется совокупностью предметов, на

которую оно распространяется, и может быть представлено в

Основы

логики

логические

основы

компьютера

форме множества объектов, состоящего из элементов множест-

ва.

Алгебра

множеств,

одна из основополагающих современ-

ных математических теорий, позволяет исследовать отношения

между

множествами и, соответственно, объемами понятий.

Между множествами (объемами понятий)

могут

быть раз-

личные виды отношений:

• равнозначность, когда объемы понятий полностью совпада-

ют;

• пересечение, когда объемы понятий частично совпадают;

• подчинение, когда объем одного понятия полностью

входит

объем

другого,

и так далее.

Для наглядной геометрической

иллюстрации объемов понятий и со-

отношений

между

ними использу-

ются диаграммы Эйлера-Венна.

Если

имеются какие-либо понятия

А, Б, С и так далее, то объем каждо-

го понятия (множество) можно

представить в виде круга, а отноше-

ния

между

этими объемами (множествами) в виде пересекаю-

щихся кругов.

Пример

3.1. Отобразить с помощью диаграммы Эйлера-Вен-

на

соотношение

между

объемами понятий

натуральные

числа

четные

числа.

Объем понятия

натуральные

числа

включает в себя множе-

ство целых положительных чисел А, а объем понятия

четные

числа

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

льных четных чисел В. Эти множества пересекаются, т. к.

включают в себя множество положительных четных чисел С.

Совокупность

всех

существующих множеств образует

всеоб-

щее

универсальное

множество

1, которое позволяет отобразить

множество, логически противоположное к заданному. Так,

если задано множество А, то

существует

множество НЕ А, кото-

рое объединяет все объекты, не входящие во множество А.

Множество НЕ А дополняет множество А до универсального

множества 1.

Пример

3.2. Отобразить с помощью диаграммы Эйлера-Вен-

на

множество натуральных чисел А и множество НЕ А.

На

диаграмме Эйлера-Венна уни-

версальное множество 1 изображает-

ся

в виде прямоугольника, множест-

во А в форме круга, а множество НЕ

— в форме «прямоугольник минус

круг».

Глава

Высказывание. Высказывание (суждение) — это форма

мышления,

выраженная с помощью понятий, посредством ко-

торой что-либо

утверждают

или отрицают о предметах, их

свойствах и отношениях

между

ними.

О предметах можно судить верно или неверно, то есть вы-

сказывание

может быть

истинным

или

ложным.

Истинным бу-

дет суждение, в котором связь понятий правильно отражает

свойства и отношения реальных вещей. Ложным суждение бу-

дет в том случае, когда связь понятий искажает объективные

отношения,

не соответствует реальной действительности.

Обоснование истинности или ложности простых высказыва-

ний

решается вне алгебры логики. Например, истинность или

ложность высказывания:

«Сумма

углов

треугольника равна

180

градусов»

устанавливается геометрией, причем — в геомет-

рии

Евклида это высказывание является истинным, а в геомет-

рии

Лобачевского — ложным.

В естественном языке высказывания выражаются повество-

вательными предложениями. Высказывание не может быть вы-

ражено повелительным или вопросительным предложением,

оценка

истинности или ложности которых невозможна. Выска-

зывания

могут

выражаться с помощью математических,

физи-

ческих, химических и прочих знаков. Из

двух

числовых выра-

жений

можно составить высказывания, соединив их знаками

равенства или неравенства.

Высказывание называется

простым,

если никакая его часть

сама не является высказыванием. Высказывание, состоящее из

простых высказываний, называются

составным

(сложным).

Высказывания

имеют определенную логическую форму. По-

нятие

о предмете мысли называется

субъектом

и обозначается

буквой S, а понятие о свойствах и отношениях предмета мысли

называется

предикатом

и обозначается буквой Р. Оба эти по-

нятия

— субъект и предикат называются

терминами

сужде-

ния.

Отношения

между

субъектом и предикатом выражаются

связкой

«есть»,

«не

есть»,

«является»,

«состоит»

и так далее.

Таким

образом, каждое высказывание состоит из

трех

эле-

ментов — субъекта, предиката и связки

(двух

терминов и связ-

ки).

Состав суждения можно выразить общей формулой «S есть

Р» или «S не есть Р».

Пример

3.3. Определить, что в суждении «Компьютер состо-

ит из процессора, памяти и внешних

устройств»

является

субъ-

ектом, предикатом и связкой.

«Компьютер» — субъект, «процессора, памяти и внешних

устройств»

— предикат,

«состоит»

— связка.

Предикат. В современной логике предикат рассматривается

как

функциональная зависимость. В общем

случае

предикат от

Основы

логики

логические

основы

компьютера

п переменных (от п неопределенных понятий) выражается фор-

мулой:

Р(х

,...,х

)

где п > 0.

При

п = 1, когда один из терминов является неопределен-

ным

понятием, мы имеем предикат первого порядка, напри-

мер,

«х — человек».

При

/г = 2, когда два термина не определены, мы имеем пре-

дикат второго порядка, например, «х любит у».

При

п = 3, когда неопределенны три термина, мы имеем

предикат третьего порядка, например, «z — сын х и у».

Пример

3.4. В вышеописанных предикатах заменить неопре-

деленные термины на конкретные понятия.

Преобразуем предикаты в высказывания путем подстанов-

ки

вместо переменных соответствующих понятий: х = «Со-

крат», у = «Ксантиппа», z = «Софрониск»:

«Сократ — человек»,

«Ксантиппа любит Сократа»,

«Софрониск

— сын Сократа и Ксантиппы».

Умозаключение. Умозаключение — это форма мышления,

посредством которой из одного или нескольких суждений, на-

зываемых посылками, по определенным правилам логического

вывода получается новое знание о предметах реального мира

(вывод).

Умозаключения бывают дедуктивные, индуктивные и по

аналогии.

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

ведут-

ся

от общего к частному. Например, из

двух

суждений:

«Все

металлы электропроводны» и

«Ртуть

является металлом» пу-

тем умозаключения можно сделать вывод, что

«Ртуть

электро-

проводна».

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

ведутся

от

частного к общему. Например, установив, что отдельные ме-

таллы — железо, медь,

цинк,

алюминий и так далее — облада-

ют свойством электропроводности, можно сделать вывод, что

все металлы электропроводны.

Умозаключение по аналогии представляет собой движение

мысли от общности одних свойств и отношений у сравниваемых

предметов или процессов к общности

других

свойств и отноше-

ний.

Например, химический состав Солнца и Земли сходен по

многим

показателям, поэтому, когда на Солнце обнаружили не-

известный еще на Земле химический элемент гелий, то по ана-

логии заключили: такой элемент есть и на Земле.

Доказательство. Доказательство есть мыслительный про-

цесс,

направленный на подтверждение или опровержение

како-

го-либо положения посредством

других

несомненных, ранее

Глава

обоснованных доводов. Доказательство

по

своей логической

форме

не

отличается

от

умозаключения. Однако, если

умоза-

ключении

заранее исходят

из

истинности посылок

следят

то-

лько

за

правильностью логического вывода,

доказательстве

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

Задания

для

самостоятельного

выполнения

3.1. Отобразить с помощью диаграммы Эйлера-Венна соотношения

между

следующими объемами понятий:

а) целые и натуральные числа;

б) четные и нечетные числа.

3.2. Определить, что является субъектом, предикатом и связкой в

следу-

ющих суждениях:

а) Сканер — это устройство ввода информации.

б) Луна является спутником Земли.

в)

Атом

состоит из ядра и электронов.

3.3. Приведите примеры понятий, суждений, умозаключений и доказа-

тельств из различных наук: математики; информатики; физики и

химии.

3.4. При каких значениях числа X предикат первого порядка не ((X > 8)

или

(X < -3)) примет значение:

а) ложь;

б) истина?

3.5. Какие предикаты первого порядка описывают условие: «Точка X не

принадлежит отрезку [А; Б]»?

а) не (X

>А)

и X < В;

б)Х<АилиХ>В;

в) не (Х<В или Х>А);

г) Х<А и Х>В.

3.6. Изобразите в декартовой прямоугольной системе координат об-

ласть, в которой и только в которой истинны следующие предикаты

второго порядка:

а) (У > X) и (У + X > 0) и (У < 1);

3.2.

Алгебра

высказываний

Алгебра в

широком смысле этого слова

—

наука

об

общих

операциях, аналогичных сложению

умножению, которые

мо-

гут

выполняться

над

различными математическими объектами

(алгебра переменных

функций, алгебра векторов, алгебра

множеств

и так

далее). Объектами алгебры логики являются

высказывания.

Основы

логики

и логические основы компьютера 89

Алгебра

логики отвлекается

от

смысловой содержательности

высказываний.

Ее

интересует только один факт

—

истинно

или

ложно данное высказывание,

что

дает

возможность определять

истинность

или

ложность составных высказываний алгебраиче-

скими

методами.

Простые высказывания

алгебре логики обозначаются

за-

главными латинскими буквами:

{Аристотель

—

основоположник логики};

= {На

яблонях

растут

бананы}.

Истинному

высказыванию ставится

соответствие

ложно-

му

— 0.

Таким образом,

А = 1, В = 0.

Составные высказывания

на

естественном языке образуются

с помощью союзов, которые

алгебре высказываний заменяют-

ся

на

логические операции. Логические операции задаются

таб-

лицами

истинности

могут

быть графически проиллюстриро-

ваны

помощью диаграмм Эйлера-Венна.

Логическая операция

КОНЪЮНКЦИЯ

(логическое

умноже-

ние):

•

естественном языке соответствует союзу

и;

•

алгебре высказываний обозначение

•

языках программирования обозначение

And.

Конъюнкция

— это

логическая операция, ставящая

соот-

ветствие каждым

двум

простым высказываниям составное

вы-

сказывание,

являющееся истинным

тогда

только

тогда,

когда

оба исходных высказывания истинны.

В алгебре множеств конъюнкции соответствует операция

пе-

ресечения

множеству

то

есть множеству, получившемуся

в ре-

зультате

умножения множеств

А и Б,

соответствует множество,

состоящее

из

элементов, принадлежащих одновременно

двум

множествам.

Диаграмма

Эйлера-Венна

Таблица

истинности

А&В

Логическая операция

ДИЗЪЮНКЦИЯ

(логическое

сложе-

ние):

•

естественном языке соответствует союзу

или;

• обозначение

v ;

•

языках программирования обозначение

Or.