Přeskočit na obsah

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

Учебное пособие посвящено основам математической логики и состоит из введения и четырех глав: «Логика высказываний», «Исчисление высказываний», «Логика предикатов первого порядка» и «Исчисление предикатов». Особое внимание уделено проблеме распознавания общезначимости формул логики высказываний и фо...

Celý popis

Uloženo v:
Podrobná bibliografie
Hlavní autor: Алябьева В. Г.
Médium: Книга
Jazyk:Russian
Vydáno: Пермь ПГНИУ 2017
On-line přístup:https://e.lanbook.com/book/246635
https://e.lanbook.com/img/cover/book/246635.jpg
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!