Тема № 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.