Студопедия — Тема № 5.6. Применение логики высказываний
Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

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







Дата добавления: 2015-10-15; просмотров: 318. Нарушение авторских прав; Мы поможем в написании вашей работы!



Функция спроса населения на данный товар Функция спроса населения на данный товар: Qd=7-Р. Функция предложения: Qs= -5+2Р,где...

Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...

Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...

Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Принципы резекции желудка по типу Бильрот 1, Бильрот 2; операция Гофмейстера-Финстерера. Гастрэктомия Резекция желудка – удаление части желудка: а) дистальная – удаляют 2/3 желудка б) проксимальная – удаляют 95% желудка. Показания...

Ваготомия. Дренирующие операции Ваготомия – денервация зон желудка, секретирующих соляную кислоту, путем пересечения блуждающих нервов или их ветвей...

Билиодигестивные анастомозы Показания для наложения билиодигестивных анастомозов: 1. нарушения проходимости терминального отдела холедоха при доброкачественной патологии (стенозы и стриктуры холедоха) 2. опухоли большого дуоденального сосочка...

Менадиона натрия бисульфит (Викасол) Групповая принадлежность •Синтетический аналог витамина K, жирорастворимый, коагулянт...

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

Дренирование желчных протоков Показаниями к дренированию желчных протоков являются декомпрессия на фоне внутрипротоковой гипертензии, интраоперационная холангиография, контроль за динамикой восстановления пассажа желчи в 12-перстную кишку...

Studopedia.info - Студопедия - 2014-2024 год . (0.01 сек.) русская версия | украинская версия