DRAKON.SU

Текущее время: Вторник, 27 Июль, 2021 12:44

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 61 ]  На страницу Пред.  1, 2, 3, 4
Автор Сообщение
СообщениеДобавлено: Пятница, 17 Апрель, 2015 06:57 

Зарегистрирован: Четверг, 30 Январь, 2014 13:38
Сообщения: 423
Продолжение 5

Третий уровень логико-временной алгоритмов интерпретации алгоритмов в общей системе:
Цитата:
1) Уровни логико-временной интерпретации – уровни понимания, объяснения и отражения логико-временной сущности параллельной алгоритмики:
1.1) Практическая логика здравого (интуитивного) смысла.
1.2) Явная структурная логика параллельных алгоритмов.
1.3) Явная структурно-функциональная логика.

Вложение:
ЛВИ 07.PNG
ЛВИ 07.PNG [ 37.53 КБ | Просмотров: 1560 ]

Литература (по ссылкам):
Цитата:
6. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление зна-ний о времени и пространстве в интеллектуальных системах. – М.: Наука, 1989.
7. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. 150 c
8. Ивин А.А. Логика времени. / Сб. "Неклассическая логика". – М.: Наука, 1970. – С. 124 – 190.
9. Карпов Ю.Г. Model Checking, Верификация параллельных и распреде-ленных программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.
11. Грядовой Д.И. Логика. Практический курс основ формальной логики. Учебное пособие. – М.: Щит-М, 2007. – 284 с.

Вложение:
ЛВИ 08.PNG
ЛВИ 08.PNG [ 35.11 КБ | Просмотров: 1560 ]

В одном школьном учебнике по формальной логике (автор, кажется, Ивин А.А.)
по этому поводу приводится пример высказывания (студенты, обычно, оживляются):
Он вышел из дома и сломал ногу.

Очевидно, здесь подразумевается:
сначала он вышел из дома
и затем
он сломал ногу.

Обратный порядок событий не подразумевается.

Вложение:
ЛВИ 09.PNG
ЛВИ 09.PNG [ 34.22 КБ | Просмотров: 1560 ]

Вложение:
ЛВИ 10.PNG
ЛВИ 10.PNG [ 38.24 КБ | Просмотров: 1560 ]

Вложение:
ЛВИ 11.PNG
ЛВИ 11.PNG [ 24.29 КБ | Просмотров: 1560 ]


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 61 ]  На страницу Пред.  1, 2, 3, 4

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2021, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB