Chuyển đến nội dung

Теория логического вывода учебное пособие для вузов

Рассмотрены вопросы теории логического вывода: история теории логического вывода, аксиоматический метод Д. Гильберта, выводимость в исчислении высказываний, метод резолюций, логический вывод по нечетким данным. Предназначено преимущественно для студентов инженерных факультетов и вузов по укрупненным...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Ганичева А. В.
Định dạng: Книга
Ngôn ngữ:Russian
Được phát hành: Санкт-Петербург Лань 2024
Phiên bản:2-е изд., стер.
Những chủ đề:
Truy cập trực tuyến:https://e.lanbook.com/book/426269
https://e.lanbook.com/img/cover/book/426269.jpg
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!