алгебра

Единый математический язык для физики и инженерного искусства в 21 веке

Введение Сегодня, старшеклассников обучающихся по уровням А или их эквивалентам в естественных науках, познакомят с понятием векторов – направленных отрезков прямых, и научат манипулировать ими с помощью классической векторной алгебры. Фактически это алгебра, введенная Гиббсом в конце 19-го века; с…
Читать дальше

Логика: предикатная, формальная и сентенциальная. Кванторы и создание информатики

1 | Введение: Логика, как эпистемологический инструмент, изобретена независимо в трёх отдельных государствах: Греции (Аристотелем), Китае (императором Цинь Шихуанди) и Индии. В последних двух перечисленных государствах логика не распространилась настолько, чтобы «прижиться» и получить развитие. В античной же Греции произошло…
Читать дальше