Тема № 5.6. Применение логики высказываний
Занятие проводится методом анализа конкретных ситуаций. На занятии рассматриваются следующие две основные ситуации. Ситуация 1. Согласно договоренности, порядок утверждения нового проекта, в разработке которого участвуют учреждения А, B, C, таков: если в утверждении принимают сначала участие учреждения А и B, то должно присоединиться к участию и учреждение C. Если утверждение происходит сначала в учреждениях B и C, присоединяется и учреждение А. Спрашивается, возможны ли такие случаи при утверждении проекта, когда принимали бы в нём участие только учреждения А и C, между тем как участие учреждения B не было бы необходимо (при сохранении договорённости о порядке утверждения проектов)? Ситуация 2. На вопрос, кто из трёх студентов изучал логику, был получен истинный ответ: если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй. Кто из студентов изучал логику? Литература: основная: 1. Мишин А.В. Информатика и математика: Математика: учебное пособие / А.В. Мишин, Л.Е. Мистров, А.Ю. Кузьмин. – Воронеж: Научная книга, 2006. – С. 21-36. дополнительная: 2. Турецкий В.Я. Математика и информатика: учебник / В.Я. Турецкий. – 3-е изд., испр. и доп. – М.: ИНФРА-М, 2004. – 560 с. Практическое занятие № 11 Тема № 6.1. Основы работы в сети Интернет 1. Интерфейс и настройка программы Microsoft Internet Explorer. 2. Основы безопасной работы в Интернет, Ограничения доступа к ресурсам Интернет. 3. Поиск информации с использованием программы Microsoft Internet Explorer. 4. Избранное, настройка отображения Web–страницы. Литература основная: 1. Мистров Л.Е. Информатика и математика: Информатика. В 2 ч. Часть 1. Элементы информатики: учебное пособие / Л.Е. Мистров, А.Ю. Кузьмин, С.А. Мишин. - Воронеж: РА «Тритон», 2008. - С. 111-120. 2. Информатика для юристов и экономистов: учебник для вузов / Под ред. С.В. Симоновича. – СПб.: Питер, 2004. – С. 205-257. дополнительная: 3. Романенко В.Н. Сетевой информационный поиск: практическое пособие / В.Н. Романенко, Г.В. Никитина. – СПб.: Профессия, 2005. – 288 с. Практическое занятие № 12 Тема № 6.2. Создание Web-страниц 1. Разработка простой Web-страницы. 2. Основы разработки Web-сайта. Литература: основная: 1. Мистров Л.Е. Информатика и математика: Информатика. В 2 ч. Часть 1. Элементы информатики: учебное пособие / Л.Е. Мистров, А.Ю. Кузьмин, С.А. Мишин. - Воронеж: РА «Тритон», 2008. - С. 117-120. дополнительная: 2. Информатика для юристов и экономистов: учебник для вузов / Под ред. С.В. Симоновича. – СПб.: Питер, 2004. – С. 237-266. Практическое занятие № 13 Тема № 7.1. Информационные технологии работы в справочных правовых системах 1. Основные свойства информационных банков СПС 2. Основные возможности СПС. 3. Технологии передачи информации. Достоинства и недостатки различных подходов. Перспективы использования Интернет. 4. Профессиональные прикладные программы. Литература основная: 1. Мистров Л.Е. Информационные технологии в юридической деятельности: практикум / Л.Е. Мистров; Российская академия правосудия. Центральный филиал. – Воронеж: ООО «Цифровая полиграфия», 2010. – С. 50-61. дополнительная: 2. Левин В.И. История информационных технологий. БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий — ИНТУИТ.ру, 2007. Режим доступа: www.intuit.ru. 3. Рагулин П.Г. Информационные технологии. Электронный учебник. - Владивосток: ТИДОТ Дальневост. ун-та, 2004. Практическое занятие № 14 Тема № 7.2. Информационные технологии поиска документов в СПС «КонсультантПлюс» 1. Алгоритмы простого поиска документов с помощью полей карточки поиска. 2. Сложный поиск документов. 3. Копирование документов в Microsoft Word. Литература основная: 2. Мистров Л.Е. Информационные технологии в юридической деятельности: практикум / Л.Е. Мистров; Российская академия правосудия. Центральный филиал. – Воронеж: ООО «Цифровая полиграфия», 2010. – С. 50-61. дополнительная: 2. Левин В.И. История информационных технологий. БИНОМ. Лаборатория знаний, Интернет-университет информационных технологий — ИНТУИТ.ру, 2007. Режим доступа: www.intuit.ru. 3. Рагулин П.Г. Информационные технологии. Электронный учебник. - Владивосток: ТИДОТ Дальневост. ун-та, 2004.
|
