Я Математик - алгебра геометрия математика для школьников ЕГЭ ОГЭ подготовка к экзаменам решение задач теория формулы уравнения функции графики репетитор по математике обучение онлайн и практика курсы
Образование · 31 июля 2026 г.
Математическая логика — 31 июля 2026 г. в 03:36:16.683
Математическая логика Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» А.Г. Зыков В.И. Поляков, В.И. Скорубский (2013) В пособии описывается история возникновения логики как науки. Рас- сматриваются основные положения логики высказываний и логики преди- катов. Обосновываются принципы логического вывода, применяемые в ло- гике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в модели- ровании логических схем. Рассматриваются методы решения задач в логи- ке высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. 👉 @Pomatematike