Математическая логика Учебное пособие по дисциплине «Математическая логика и теория алгоритмов» А.Г. Зыков В.И. Поляков, В.И. Скорубский (2013) В пособии описывается история возникновения логики как науки. Рас- сматриваются основные положения логики высказываний и логики преди- катов. Обосновываются принципы логического вывода, применяемые в ло- гике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в модели- ровании логических схем. Рассматриваются методы решения задач в логи- ке высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. 👉 @Pomatematike