Студопедия — Тема № 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; просмотров: 316. Нарушение авторских прав; Мы поможем в написании вашей работы!



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

Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Композиция из абстрактных геометрических фигур Данная композиция состоит из линий, штриховки, абстрактных геометрических форм...

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

Признаки классификации безопасности Можно выделить следующие признаки классификации безопасности. 1. По признаку масштабности принято различать следующие относительно самостоятельные геополитические уровни и виды безопасности. 1.1. Международная безопасность (глобальная и...

Прием и регистрация больных Пути госпитализации больных в стационар могут быть различны. В цен­тральное приемное отделение больные могут быть доставлены: 1) машиной скорой медицинской помощи в случае возникновения остро­го или обострения хронического заболевания...

Краткая психологическая характеристика возрастных периодов.Первый критический период развития ребенка — период новорожденности Психоаналитики говорят, что это первая травма, которую переживает ребенок, и она настолько сильна, что вся последую­щая жизнь проходит под знаком этой травмы...

РЕВМАТИЧЕСКИЕ БОЛЕЗНИ Ревматические болезни(или диффузные болезни соединительно ткани(ДБСТ))— это группа заболеваний, характеризующихся первичным системным поражением соединительной ткани в связи с нарушением иммунного гомеостаза...

Решение Постоянные издержки (FC) не зависят от изменения объёма производства, существуют постоянно...

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