Can I read Математическая логика on EtoBox?

Математическая логика by Зыков А.Г., Поляков В.И., Скорубский В.И. is a nonfiction available to read on EtoBox.

What is Математическая логика about?

СПб: НИУ ИТМО, 2013. — 131 с. В пособии описывается история возникновения логики как науки. Рассматриваются основные положения логики высказываний и логики предикатов. Обосновываются принципы логического вывода, применяемые в логике предикатов и ее приложениях к искусственному интеллекту и базам знаний. Приводятся примеры применения многозначной логики в моделировании логических схем. Рассматриваются методы решения задач в логике высказываний и логике предикатов. В приложении приводится именной указатель ученых, внесших значительный вклад в развитии логики как науки. Пособие предназначено для студентов, обучающихся по направлениям 230100 «Информатика и вычислительная техника» и 231000 «Программная инженерия». Содержание.Введение. **Логика высказываний** .Формулы высказываний.Импликация на примере дедукции.Интерпретация логических формул.Принцип подстановки.Алгебра логики высказываний. __Законы логики высказываний. Булева алгебра высказываний. Применение булевой алгебры для проверки тождеств. Применение алгебры для вычислений – метод Квайна. Применение алгебры для доказательства общезначимости. Нормальные формулы. SAT-проблема (прямой метод). Приложения булевой алгебры в технике__ .

Who reads Математическая логика?

Author

Зыков А.Г., Поляков В.И., Скорубский В.И.

Language

RU

Category

nonfiction

Subjects

Mathematics, Logic, Stem