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