Паспорт кабинета

Г Р А Ф И К

занятости кабинета № 14

на 2008-2009 уч.г.

I-ая смена

II-ая смена

МОУ «Средняя общеобразовательная школа п.Ола»

Журнал инструктажа учащихся по технике безопасности

Кабинет информатики № 14

Учитель Старенко Ирина Георгиевна

2010-2011 уч. год

Техника безопасности в кабинете информатики

1. Установить последние обновления операционной системы Windows (http://windowsupdate.microsoft.com).
2. Включить режим автоматической загрузки обновлений. (Пуск  Настройка  Панель управления  Автоматическое обновление   Автоматически загружать и устанавливать на компьютер рекомендуемые обновления).
3. Скачать с сайта www.microsoft.com программное обеспечение Windows Defender и установить на все компьютеры. Включить режим автоматической проверки. Включить режим проверки по расписанию каждый день.
4. Активировать встроенный брандмауэр Windows (Пуск  Настройка  Панель управления  Брандмауэр Windows  Включить).
5. Установить антивирусное программное обеспечение на каждый компьютер. Включить режим автоматического сканирования файловой системы. Включить режим ежедневной автоматической проверки всей файловой системы при включении компьютера. Активировать функцию ежедневного автоматического обновления антивирусных баз.
6. Ежедневно проверять состояние антивирусного программного обеспечения, а именно:

1. режим автоматической защиты должен быть включен постоянно;
2. дата обновления антивирусных баз не должна отличаться более чем на несколько дней от текущей даты;
3. просматривать журналы ежедневных антивирусных проверок, контролировать удаление вирусов при их появлении.

7. Не реже одного раза в месяц посещать сайт http://windowsupdate.microsoft.com и проверять установлены ли последние обновления операционной системы.
8. Быть крайне осторожным при работе с электронной почтой. Категорически запрещается открывать присоединенные к письмам, полученным от незнакомых лиц, файлы.
9. Контролировать посещение Интернет сайтов пользователями. Не допускать посещения т.н. «хакерских», порно и других сайтов с потенциально вредоносным содержанием.
10. В обязательном порядке проверять антивирусным программным обеспечением любые внешние носители информации перед началом работы с ними.
11. При появлении признаков нестандартной работы компьютера («тормозит», на экране появляются и исчезают окна, сообщения, изображения, самостоятельно запускаются программы и т.п.) немедленно отключить компьютер от Ethernet сети, загрузить компьютер с внешнего загрузочного диска (CD, DVD) и произвести полную антивирусную проверку всех дисков компьютера. При появлении аналогичных признаков после проделанной процедуры переустановить операционную систему с форматированием системного раздела диска.

Техническая поддержка проекта «Обеспечение доступа к сети Интернет образовательным учреждениям Российской Федерации»

Аристотель, Лейбниц, Буль

        Математическая логика тесно связана с логикой и обязана ей своим возникновением. Основы логики, науки о законах и формах человеческого мышления (отсюда одно из ее названий — формальная логика), были заложены величайшим древнегреческим философом Аристотелем (384—322 гг. до н. э.), который в своих трактатах обстоятельно исследовал терминологию логики, подробно разобрал теорию умозаключений и доказательств, описал ряд логических операций, сформулировал основные законы мышления, в том числе законы противоречия и исключения третьего [1—5]. Вклад Аристотеля в логику весьма велик, недаром другое ее название — аристотелева логика.
    Еще сам Аристотель заметил, что между созданной им наукой и математикой (тогда она именовалась арифметикой) много общего. Он пытался соединить две эти науки, а именно свести размышление, или, вернее, умозаключение, к вычислению на основании исходных положений. В одном из своих трактатов Аристотель вплотную приблизился к одному из разделов математической логики — теории доказательств.
    В дальнейшем многие философы и математики развивали отдельные положения логики и иногда даже намечали контуры современного исчисления высказываний, но ближе всех к созданию математической логики подошел уже во второй половине XVII века выдающийся немецкий ученый Готфрид Вильгельм Лейбниц (1646— 1716), указавший пути для перевода логики “из словесного царства, полного неопределенностей, в царство математики, где отношения между объектами или высказываниями определяются совершенно точно” [6]. Лейбниц надеялся даже, что в будущем философы, вместо того чтобы бесплодно спорить, станут брать бумагу и вычислять, кто из них прав [1]. При этом в своих работах Лейбниц затрагивал и двоичную систему счисления.
    Следует отметить, что идея использования двух символов для кодирования информации очень стара. Австралийские аборигены считали двойками, некоторые племена охотников-сборщиков Новой Гвинеи и Южной Америки тоже пользовались двоичной системой счета. В некоторых африканских племенах передают сообщения с помощью барабанов в виде комбинаций звонких и глухих ударов. Знакомый всем пример двухсимвольного кодирования — азбука Морзе, где буквы алфавита представлены определенными сочетаниями точек и тире.
    После Лейбница исследования в этой области вели многие выдающиеся ученые, однако настоящий успех пришел здесь к английскому математику-самоучке Джорджу Булю (1815—1864), целеустремленность которого не знала границ.
    Материальное положение родителей Джорджа (отец которого был сапожным мастером) позволило ему окончить лишь начальную школу для бедняков. Спустя какое-то время Буль, сменив несколько профессий, открыл маленькую школу, где сам преподавал [2]. Он много времени уделял самообразованию и вскоре увлекся идеями символической логики. В 1847 году Буль опубликовал статью “Математический анализ логики, или Опыт исчисления дедуктивных умозаключений”, а в 1854 году появился главный его труд “Исследование законов мышления, на которых основаны математические теории логики и вероятностей”.
    Буль изобрел своеобразную алгебру — систему обозначений и правил, применимую ко всевозможным объектам, от чисел и букв до предложений. Пользуясь этой системой, он мог закодировать высказывания (утверждения, истинность или ложность которых требовалось доказать) с помощью символов своего языка, а затем манипулировать ими, подобно тому, как в математике манипулируют числами. Основными операциями булевой алгебры являются конъюнкция (И), дизъюнкция (ИЛИ) и отрицание (НЕ).
    Через некоторое время стало понятно, что система Буля хорошо подходит для описания электрических переключательных схем. Ток в цепи может либо протекать, либо отсутствовать, подобно тому, как утверждение может быть либо истинным, либо ложным. А еще несколько десятилетий спустя, уже в XX столетии, ученые объединили созданный Джорджем Булем математический аппарат с двоичной системой счисления, заложив тем самым основы для разработки цифрового электронного компьютера.
    Отдельные положения работ Буля в той или иной мере затрагивались и до, и после него другими математиками и логиками [1, 2]. Однако сегодня в данной области именно труды Джорджа Буля причисляются к математической классике, а сам он по праву считается основателем математической логики и тем более важнейших ее разделов — алгебры логики (булевой алгебры) и алгебры высказываний.

Литература
    1. Колмогоров А.Н., Драгалин А.Г. Введение в математическую логику. М.: Издательство Московского университета, 1982.
    2. Соколов Е.А. Интегральные схемы логических операций // Новое в жизни, науке, технике. Сер. “Вычислительная техника и ее применение”. Аппаратный состав ЭВМ, № 5/88.
    3. Дж. Кемени, Дж. Снелл, Дж. Томпсон. Введение в конечную математику: Пер. с англ. М.: Мир, 1963.
    4. 1 + 1 = ? // Информати- ка, № 3/2000.
    5. Создатель формальной логики // Информатика, № 41/2000.
    6. Знакомьтесь: компьютер: Пер. с англ. М.: Мир, 1989.