Opening book details…
Can I read Математическая логика on EtoBox?
Математическая логика by Зыков А.Г., Поляков В.И., Скорубский В.И. is a nonfiction available to read on EtoBox.
What is Математическая логика about?
В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия».
Who reads Математическая логика?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Зыков А.Г., Поляков В.И., Скорубский В.И.
- Publisher
- Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики
- Published
- 2013
- Language
- RU
- Category
- nonfiction
More by Зыков А.Г., Поляков В.И., Скорубский В.И.
Browse all works by Зыков А.Г., Поляков В.И., Скорубский В.И.
Similar books
- Математическая логика — Гладкий А.В. (1998)
- Математическая логика — Ершов Ю.Л., Палютин Е.А. (1987)
- Математическая логика — Эдельман С. Л. (1975)
- Математическая логика — Колмогоров А.Н., Драгалин А.Г. (2006)
- Математическая логика: курс лекций: учебное пособие для студентов высших учебных заведений, обучающихся по специальности 032100 - математика — И. Л. Тимофеева (2007)
- Математическая логика. Исчисления высказываний и предикатов — Битюцкий В.П., Папуловская Н.В.