 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
С. И. Гуров
Логика высказываний. Учебное пособие | Гуров Сергей Исаевич
Страниц: 272 Формат: 60x90/16 При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.]]> Категории каталога: Абитуриентам и студентам |
|
Студенту на заметку:
Энтомологи СПбГУ открыли новый редкий вид усатого тропического клопа
Детальные фотографии Tatupa grafei / YПресс-служба СПбГУ Tatupa grafei относится к сравнительно небольшой Rhinocylapus-группе, которая на сегодня включает 24 вида насекомых.
Энергичная ходьба и бег способствуют профилактике диабета и гипертонии
"Ходьба может быть более приемлемым видом активности для некоторых людей по сравнению с бегом, хотя те, кто бегает, преодолевают большее расстояние, чем любители ходьбы", 0Pсообщил доктор Пол Уильямс ( Paul Williams ), слова которого цитируются в пресс-релизе Американской кардиологической ассоциации ( American Heart Association ).
|
