Професор Самуїл Шатуновський: логічні дослідження
Історико-філософська реконструкція логічних досліджень С. Шатуновського у розвитку математики та математичної логіки в Україні на початку ХХ ст. Одеська логічна школа, проблеми обґрунтування математики. Роль Шатуновського у формуванні математичної логіки.
Рубрика | Математика |
Предмет | Математика |
Вид | статья |
Язык | украинский |
Прислал(а) | Плахтій Маріанна Петрівна |
Дата добавления | 31.07.2024 |
Размер файла | 20,4 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Побудова математичної логіки як алгебри висловлень і алгебри предикатів. Основні поняття логіки висловлювань та їх закони і нормальні форми. Основні поняття логіки предикатів і її закони, випереджена нормальна форма. Процедури доведення законів.
курсовая работа [136,5 K], добавлен 27.06.2008Розв'язання задач з теорії множин та математичної логіки. Визначення основних характеристик графа г (Х,W). Розклад функцій дискретного аргументу в ряди по базисним функціям. Побудова та доведення діаграми Ейлера-Вена. Побудова матриці інцидентності графа.
курсовая работа [988,5 K], добавлен 20.04.2012Науковий шлях академiка Боголюбова. Квантова теорiя про явища надпровiдностi i надплинностi. Праці теорiї порушення симетрiї. Свiтове визнання наукових шкiл у галузi нелiнiйної математики та математичної фiзики. Задачі квантово-польової структури вакууму.
доклад [228,5 K], добавлен 12.09.2009Передумови виникнення та основні етапи розвитку теорії ймовірностей і математичної статистики. Сутність, розробка та цінність роботи Стьюдента. Основні принципи, що лежать в основі клінічних досліджень. Застосування статистичних методів в даній сфері.
контрольная работа [16,7 K], добавлен 27.11.2010Історія розвитку математичної науки. Математичне моделювання і дослідження процесів і явищ за допомогою функцій, рівнянь та інших математичних об`єктів. Функції, їх основні властивості та графіки, множина раціональних чисел. Розв`язання типових задач.
книга [721,3 K], добавлен 01.03.2011Значение математики в нашей жизни. История возникновения счета. Развитие методов вычислительной математики в настоящее время. Использование математики в других науках, роль математического моделирования. Состояние математического образования в России.
статья [16,2 K], добавлен 05.01.2010Робота присвячена важливісті математики, їх використанню у різних галузях науки. Інформація, яка допоможе зацікавити учнів при вивченні математики. Етапи розвитку математики. Філософія числа піфагорійців. Математичні формули у фізиці, хімії, психології.
курсовая работа [347,2 K], добавлен 12.09.2009Функціональна повнота системи функцій алгебри логіки. Клас самодвоїстих функцій і його замкненість. Леми теореми Поста. Реалізація алгоритму В середовищі програмування С#, який визначає чи є система функцій алгебри логіки функціонально повна, вид повноти.
курсовая работа [388,6 K], добавлен 17.05.2011Ознайомлення із символікою та апаратом логіки висловлень. Сутність алгебри Жегалкіна. Дослідження питань несуперечності, повноти та незалежності логічних та спеціальних аксіом числення предикатів. Визначення поняття та характерних рис алгоритмів.
курс лекций [538,2 K], добавлен 02.04.2011История становления математики как науки. Период элементарной математики. Период создания математики переменных величин. Создание аналитической геометрии, дифференциального и интегрельного исчисления. Развитие математики в России в XVIII-XIX столетиях.
реферат [38,2 K], добавлен 09.10.2008