Общие требования безопасности

ТЕХНИКА БЕЗОПАСНОСТИ ПРИ ВЫПОЛНЕНИИ ЛАБОРАТОРНЫХ РАБОТ

ВВЕДЕНИЕ

В качестве самостоятельной науки логика сформировалась еще в трудах древнегреческого философа Аристотеля (384-322 гг. до н.э.). Он обобщил и систематизировал известные в то время знания о формах и законах человеческого мышления и методах, с помощью которых люди делают выводы, устанавливают связь логических форм с языком, что позволило ему заложить основы новой науки – логики, которая впоследствии стала называться формальной, или Аристотелевой.

Формальная логика просуществовала без серьезных изменений более двадцати столетий. Но развитие математики показало ее ограниченность. Идеи о построении логики на математической основе впервые были высказаны немецким математиком Г. Лейбницем в конце XYII века. Он считал, что основные понятия логики можно обозначать символами, как и в классической математике, над которыми могут выполняться определенные действия, что позволит любое рассуждение заменить вычислением.

Впервые эти идеи были реализованы английским ученым Д. Булем. Он создал алгебру, в которой буквами обозначены высказывания, и это привело к созданию алгебры логики (алгебры высказываний). Введение символов в логику явилось основой для создания новой науки - математической логики. В дальнейшем она получила широкое распространение в частности из-за того, что использовалась при обосновании аксиоматического метода в построении математических теорий. В нем сначала выбираются некоторые понятия, которые не определяются, а лишь поясняются. Затем без доказательств принимается некоторый набор аксиом и на их основе логически строго выводятся и доказываются все положения теории. Самым ярким и ранним примером такого подхода является Евклидова геометрия.

Достаточно близко по содержанию к математической логике подходит теория алгоритмов, являющаяся разделом математики, изучающая общие свойства алгоритмов. Содержательные явления, приведшие к образованию алгоритма, прослеживаются во всей истории математики. Бурное развитие компьютерной техники обусловило еще большее развитие и актуальность данных наук.

Опасные производственные факторы: воздействие на человека электрического тока, электрического поля, рентгеновского и ультрафиолетового излучения.

Действия факторов: вследствие неисправности кабеля, электрической вилки (розетки), замыкания в цепи пользователь компьютера попадает под напряжение.

1.1. Студенты допускаются к работе в лаборатории после прохождения ими вводного инструктажа с оформлением соответствующей записи в журнале по технике безопасности, первичного инструктажа на рабочем месте с записью в журнале по охране труда. Инструктаж проводит заведующий кабинетом, лабораторией.

1.2. Запрещается оставлять рабочие места и ходить по лаборатории во время занятия.

1.3. Запрещается перестановка измерительных приборов, оборудования, мониторов, клавиатуры, системных блоков, «мышей» и ковриков для «мышей» с одного рабочего места на другое.

1.4. Запрещается самостоятельное устранение неисправностей оборудования.

1.5. Запрещается нахождение в лаборатории в верхней одежде.

Дата добавления: 2017-02-01