История понятия функции
История концепции функции Понятие функции в математике имеет долгую историю, начиная с античности и развиваясь в работах Фреге, Пеано и […]
Вики
History of logic
Вики
Неклассическая логика
Неклассическая логика Неклассическая логика отличается от стандартных логических систем, включая логику высказываний и предикатов. Цель отступлений в неклассической логике –
Вики
Бернар Больцано
Бернард Больцано Бернард Больцано – австрийский философ, основатель логического позитивизма. Он разработал теорию интуиций (Anschauungen) для соответствия субъективным идеям изменениям,
Вики
Предыдущая аналитика
Предварительная аналитика Предварительная аналитика – труд Аристотеля о логических рассуждениях, известный как силлогистика. Термин “аналитика” происходит от греческих слов analytos
Вики
История логики
История логики Логика имеет долгую историю, начиная с древних времен и включая греческую, средневековую и современную логику. Греческая логика была
Вики
Алгебраическая логика
Алгебраическая логика Алгебраическая логика – старейший подход к формальной логике, основанный на теории множеств. Лейбниц, возможно, начал подход к алгебраической
Вики
Минимальные аксиомы булевой алгебры
Минимальные аксиомы для булевой алгебры Минимальные аксиомы для булевой алгебры эквивалентны аксиомам, выбранным как можно более краткими. Аксиома с шестью
Вики
Классическая логика
Классическая логика Классическая логика (или стандартная логика) является интенсивно изучаемым и широко используемым классом дедуктивной логики. Она оказала большое влияние
Вики
Термин логика
Логика термина Терминологическая логика рассматривает предложения как комбинации идей, а не терминов. Логическая традиция, называемая логикой Порт-Рояля, следовала многим условностям
Вики
Теория информации
Теория информации Теория информации изучает передачу и обработку информации в различных системах. Информация может быть измерена с помощью энтропии и