Авиационно инженерство Административно право Административно право Беларус Алгебра Архитектура Безопасност на живота Въведение в професията „психолог” Въведение в икономиката на културата Висша математика Геология Геоморфология Хидрология и хидрометрия Хидросистеми и хидравлични машини Културология Медицина Психология икономика дескриптивна геометрия Основи на икономически т Oria професионална безопасност Пожарна тактика процеси и структури на мисълта, Професионална психология Психология Психология на управлението на съвременната фундаментални и приложни изследвания в апаратура социалната психология социални и философски проблеми Социология Статистика теоретичните основи на компютъра автоматично управление теория на вероятностите транспорт Закон Turoperator Наказателно право Наказателно-процесуалния управление модерна производствена Физика Физични феномени Философски хладилни инсталации и екология Икономика История на икономиката Основи на икономиката Икономика на предприятията Икономическа история Икономическа теория Икономически анализ Развитие на икономиката на ЕС Спешни ситуации ВКонтакте Однокласници Моят свят Facebook LiveJournal Instagram
border=0

Пример 10.1

Много аритметични формули, които могат да съдържат числови или азбучни изрази с целочислени коефициенти. Азбука: цифри 0 ... 9; букви a ... z, знаци +, -, x, /, скоби (,). Всеки символ може да се счита за оригиналната формула, всяка комбинация от цифри с първата ненуля се нарича число и се счита за формула. Правилата за създаване на нови формули са както следва:

· Ако A и B са числа и A, 0, то AB също е число (т.е. определен вид формули - числа - се получават чрез присвояване на едно на друго, така че лявото не е 0)

Ако F 1 и F 2 са формули, тогава ( F 1 + F 2 ), ( F 1 - F 2 ), ( F 1 x F 2 ) и ( F 1 / F 2 ) също са формули.

В описаната формална система формулите от този тип се извеждат:

Вижте също:

Пример А.7

Пример 2.8

Начини за описване на официалните езици

Пример 9.4

Тестови въпроси и задачи

Връщане към съдържанието: Теоретични основи на компютърните науки

2019 @ ailback.ru