Cтраница 4
Для шестнадцатеричных чисел требуется 16 цифр. Это значит, что нам нужно 6 новых символов. Для обозначения цифр, следующих за 9, принято использовать прописные латинские буквы от А до F. Таким образом, шестнадцатеричные числа строятся из следующих цифр. [46]
Две структуры G и G считаются эквивалентными ( изоморфными), если существует полное соответствие между всеми их вершинами и ребрами. В этом случае понятие соответствия распространяется и на отметки вершин и ребер. Для удобства в одном случае ( структура d) вершины пронумерованы цифрами, а в другом случае - прописными латинскими буквами. Чтобы обе структуры были изоморфны, необходимо, в частности, чтобы вершины G с атомами углерода соответствовали вершинам G, также содержащим атом углерода. [47]
Классификация изобретений Японии после второй мировой войны была пересмотрена и в 1948 г. заменена новой. Эта классификация основывается на функционально-отраслевом принципе. Все патентоспособные объекты объединены в 174 класса ( на 1 / 1 1973), состоящие из подклассов и групп. Подклассы обозначаются прописными латинскими буквами, группы - арабскими цифрами на основе десятичной системы. [48]
Современная формальная логика строго формальна. Для того чтобы получить точно формализованную теорию, удобнее использовать специально созданную для зтой цели символику, нежели использовать обычный язык, подчиняющийся своим собственным грамматическим законам. Так как аристотелевская силлогистика предполагает почти всю элементарную часть пропозициональной логики, называемую теорией дедукции, то я поясню символические обозначения обеих этих теорий. В обеих теориях встречаются переменные и постоянные. Переменные обозначаются строчными, постоянные - прописными латинскими буквами. [49]