Продолжение 5
Третий уровень логико-временной алгоритмов интерпретации алгоритмов в общей системе:
Цитата:
1) Уровни логико-временной интерпретации – уровни понимания, объяснения и отражения логико-временной сущности параллельной алгоритмики:
1.1) Практическая логика здравого (интуитивного) смысла.
1.2) Явная структурная логика параллельных алгоритмов.
1.3) Явная структурно-функциональная логика.
1.1) Практическая логика здравого (интуитивного) смысла.
1.2) Явная структурная логика параллельных алгоритмов.
1.3) Явная структурно-функциональная логика.
Вложение:
ЛВИ 07.PNG [ 37.53 КБ | Просмотров: 2361 ]
Литература (по ссылкам):
Цитата:
6. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А. Представление зна-ний о времени и пространстве в интеллектуальных системах. – М.: Наука, 1989.
7. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. 150 c
8. Ивин А.А. Логика времени. / Сб. "Неклассическая логика". – М.: Наука, 1970. – С. 124 – 190.
9. Карпов Ю.Г. Model Checking, Верификация параллельных и распреде-ленных программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.
11. Грядовой Д.И. Логика. Практический курс основ формальной логики. Учебное пособие. – М.: Щит-М, 2007. – 284 с.
7. Ишмуратов А.Т. Логические теории временных контекстов (временная логика). – Киев: Наукова думка, 1981. 150 c
8. Ивин А.А. Логика времени. / Сб. "Неклассическая логика". – М.: Наука, 1970. – С. 124 – 190.
9. Карпов Ю.Г. Model Checking, Верификация параллельных и распреде-ленных программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.
11. Грядовой Д.И. Логика. Практический курс основ формальной логики. Учебное пособие. – М.: Щит-М, 2007. – 284 с.
Вложение:
ЛВИ 08.PNG [ 35.11 КБ | Просмотров: 2361 ]
В одном школьном учебнике по формальной логике (автор, кажется, Ивин А.А.)
по этому поводу приводится пример высказывания (студенты, обычно, оживляются):
Он вышел из дома и сломал ногу.
Очевидно, здесь подразумевается:
сначала он вышел из дома
и затем
он сломал ногу.
Обратный порядок событий не подразумевается.
Вложение:
ЛВИ 09.PNG [ 34.22 КБ | Просмотров: 2361 ]
Вложение:
ЛВИ 10.PNG [ 38.24 КБ | Просмотров: 2361 ]
Вложение:
ЛВИ 11.PNG [ 24.29 КБ | Просмотров: 2361 ]