Студопедия
Обратная связь


Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram 500-летие Реформации


Пример 10.1

Множество арифметических формул, которые могут содержать цифровые или буквенные выражения с целочисленными коэффициентами. Алфавит: цифры 0...9; буквы a...z, знаки +, -, х, /, скобки (, ). Любой символ может считаться исходной формулой, любая комбинация цифр с первой ненулевой называется числом и считается формулой. Правила построения новых формул следующие:

· если А и B - числа и А ≠ 0, то АВ также число (т.е. частный вид формул - числа - получаются приписыванием одних к другим таким образом, чтобы слева был не 0);

· если F1 и F2 - формулы, то (F1 + F2), (F1 - F2), (F1 x F2) и (F1 /F2) также являются формулами.

В описанной формальной системе выводимыми оказываются формулы типа:

 

Читайте также:

Глава 4. Представление и обработка чисел в компьютере

Пример 5.3

Вероятность какого-либо одного из двух исходов независимых и несовместных событий равна сумме их вероятностей

Нестрогое определение алгоритма

Вернуться в оглавление: Теоретические основы информатики

Просмотров: 1451

 
 

© studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам. Ваш ip: 54.196.91.84