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