Отрывок: е . 6 ) Ф 1 , так как возможен еще и случай, когда а ~ 8 ) и закона противоречия ( т . е . ( а ± в )Ъ (6 ^ - а ) о , поскольку опять же в случае а ^ в вы­ ражение слева равно I ) . Однако с более строгой математической точки зрения" 1 С а > 8 ) " означает " ( а < 8 ) ”, а " 1 ( а ^ 8 ) ■ означает ...
Название : Логические условия в языках, ориентированных на непрофессионального программиста
Авторы/Редакторы : Соловьев А. Е.
Дата публикации : 1984
Библиографическое описание : Соловьев, А. Е. Логические условия в языках, ориентированных на непрофессионального программиста / А. Е. Соловьев // Автоматизация научных исследований : межвуз. сб. науч. тр. / М-во высш. и сред. спец. образования РСФСР, Куйбышев. авиац. ин-т им. С. П. Королева ; редкол.: В. А. Виттих (отв. ред.), Б. Я. Советов, А. Н. Ковшов, В. А. Сойфер, О. П. Скобелев, Г. Н. Томников, А. Д. Жахаев, Т. И. Заболоцкая. - Куйбышев : КуАИ, 1984. - С. 48-52.
Аннотация : Анализируются традиционные сложности, связанные с использованием логических условий в программных конструкциях. Доказано, что введение в алгоритмический язык мощных средств для описания логических условий дает принципиальную возможность существенно упростить структуру многих алгоритмов, сделать процесс программирования более естественным для непрофессионала.
Другие идентификаторы : RU\НТБ СГАУ\477542
Ключевые слова: алгоритмический язык
процедурно-ориентированные языки программирования
логические условия
рефлексивность
система из четырех операций отрицания
Располагается в коллекциях: АВТОМАТИЗАЦИЯ НАУЧНЫХ ИССЛЕДОВАНИЙ

Файлы этого ресурса:
Файл Размер Формат  
Стр.-48-52.pdf555.63 kBAdobe PDFПросмотреть/Открыть
Показать полное описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.