Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 72000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свою работу

Направления развития сетевых компьютерных технологий в юридической деятельности и науке

Номер заказа
93754
Создан
21 июня 2013
Выполнен
22 июня 2013
Стоимость работы
280
Помогите быстро выполнить реферат по информатике. Есть буквально 1 день. Тема работы «Направления развития сетевых компьютерных технологий в юридической деятельности и науке».
Всего было
18 предложений
Заказчик выбрал автора
Этот заказ уже выполнен на сервисе Автор24
На нашем сайте вы можете заказать учебную работу напрямую у любого из 72000 авторов, не переплачивая агентствам и другим посредникам. Ниже приведен пример уже выполненной работы нашими авторами!
Узнать цену на свой Реферат
Или вы можете купить эту работу...
Страниц: 24
Оригинальность: Неизвестно
280
Не подошла
данная работа?
Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу

Направления развития сетевых компьютерных технологий в юридической деятельности и науке
Содержание
Введение
Комьютерные технологии в юридической деятельности
Интенсиональный язык и его семантика
Моделирование юридических рассуждений
Вывод
Компьютерные технологии в науке
Литература:

Литература:
1. Крипке С.А. Семантический анализ модальной логики I. Нормальные модальные исчисления высказываний. - в кн. Р. Фейс. Модальная логика. - М: "Наука", 2004, с. 254-303.
2. Скотт Д. Советы по модальной логике. - в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В.А. - М: "Прогресс", 2001, с. 280-317.
3. Р. Монтегю. Прагматика. - в кн. Семантика модальных и интенсиональных логик. Под ред. Смирнова В.А. - М: "Прогресс", 2001, с. 254-279.
4. Ружа И. Интенсиональная логика без интенсиональных переменных. - в кн. Модальные и интенсиональные логики и их применение к проблемам методологии науки. Под ред. Смирнова В.А. - М: "Наука", 2004, с. 220-244.
5. Вольфенгаген В.Э., Яцук В.Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем Показать все
Операторы. Рассматриваемая ПО включает в себя многочисленные интенсиональные контексты. Для каждого типа контекста введем в язык соответствующий оператор. Состав операторов языка при этом оказывается зависящим не только от ПО в целом, но даже от конкретной задачи, решаемой в ПО.
Общее понятие возможности в ПО определим при помощи оператора pos, семантику которого зададим следующим образом: для любого k из Asg
pos(A)(k) = true т.и т.т., к.
существует k" из Asg такой, что A(k) = true
Соответствующее понятие широко изучалось в математической логике. Двойственным образом определяется понятие необходимости.
Течение времени в ПО моделируется при помощи операторов прошлого и будущего. Для их определения введем в рассмотрение функцию t, которая каждой точке соотнесения k из Asg сопоставляет н Показать все
Автор24 - это фриланс-биржа. Все работы, представленные на сайте, загружены нашими пользователями, которые согласились с правилами размещения работ на ресурсе и обладают всеми необходимыми авторскими правами на данные работы. Скачивая работу вы соглашаетесь с тем что она не будет выдана за свою, а будет использована исключительно как пример или первоисточник с обязательной ссылкой на авторство работы. Если вы правообладатель и считаете что данная работа здесь размещена без вашего разрешения - пожалуйста, заполните форму и мы обязательно удалим ее с сайта. Заполнить форму
Оценим бесплатно
за 10 минут
Эта работа вам не подошла?
У наших авторов вы можете заказать любую учебную работу от 200 руб.
Оформите заказ и авторы начнут откликаться уже через 10 минут!
Заказать реферат