Архитектура Аудит Военная наука Иностранные языки Медицина Металлургия Метрология Образование Политология Производство Психология Стандартизация Технологии |
Тема: Применение логики высказываний
На занятии рассматриваются следующие две основные ситуации. Ситуация 1. Согласно договоренности, порядок утверждения нового проекта, в разработке которого участвуют учреждения А, B, C, таков: если в утверждении принимают сначала участие учреждения А и B, то должно присоединиться к участию и учреждение C. Если утверждение происходит сначала в учреждениях B и C, присоединяется и учреждение А. Спрашивается, возможны ли такие случаи при утверждении проекта, когда принимали бы в нём участие только учреждения А и C, между тем как участие учреждения B не было бы необходимо (при сохранении договорённости о порядке утверждения проектов)? Ситуация 2. На вопрос, кто из трёх студентов изучал логику, был получен истинный ответ: если изучал первый, то изучал и второй, но неверно, что если изучал третий, то изучал и второй. Кто из студентов изучал логику? Литература: основная: 1*. Мишин А.В. Информатика и математика: Математика: Учебное пособие / А.В.Я. Мишин, Л.Е. Мистров, А.Ю. Кузьмин. – Воронеж: Центральный филиал Российской академии правосудия, 2006. – С. 21-36. дополнительная: 2*. Турецкий В.Я. Математика и информатика: Учебник / В.Я. Турецкий. – 3-е изд., испр. и доп. – М.: ИНФРА-М, 2002. – С. 60-75. Практическое занятие № 11 Тема: Моделирование информационных процессов в правовой сфере 1. Возможности использования методологии моделирования информационных процессов в компьютерных системах правовой сферы. 2. Принципы моделирования информационных процессов в компьютерных системах правовой сферы. 3. Схема моделирования информационных процессов в компьютерных системах правовой сферы. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 1. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002. Практическое занятие № 12 Тема: Элементы алгоритмизации 1. Алгоритм: понятие, свойства, виды. 2. Представление алгоритмов с помощью схем. 3. Описание алгоритмов с помощью псевдокода. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 2. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002.
Практическое занятие № 13 Тема: Изучение среды программирования Visual Basic 1. Основные положения и понятия языка программирования Visual Basic. 2. Конструирование программы в Visual Basic. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 2. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002. Практическое занятие № 14 Тема: Программирование задач с линейной структурой 1. Составление схемы алгоритма решения задачи с линейной структурой. 2. Составление программ решения задач с линейной структурой. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 2. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002.
Практическое занятие № 15 Тема: Программирование задач с разветвляющейся структурой 1. Составление схемы алгоритма решения задачи. 2. Составление программы решения задачи с разветвляющейся структурой. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 2. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002.
Практическое занятие № 16 Тема: Программирование задач с циклической структурой 1. Составление схемы алгоритма решения задачи. 2. Составление программы решения задачи с циклической структурой. Литература основная: 1. Симонович С.В. Информатика для юристов и экономистов / Симонович С.В. и др. – СПб.: Питер, 2001. дополнительная: 2. Попов В.Б. Основы компьютерных технологий. – М.: Финансы и статистика, 2002.
Практическое занятие № 17 |
Последнее изменение этой страницы: 2019-04-09; Просмотров: 293; Нарушение авторского права страницы