 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
С. И. Гуров
Логика высказываний. Учебное пособие | Гуров Сергей Исаевич
Страниц: 272 Формат: 60x90/16 При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.]]> Категории каталога: Абитуриентам и студентам |
|
Студенту на заметку:
Что такое Harlem Shake
3 марта в 16.00 на площадке перед ТК [Галереяk состоится массовый флэшмоб 0Pвсе желающие смогут вместе станцевать знаменитый Harlem Shake.
Что такое "закон Димы Яковлева". Полный текст закона
Что такое "закон Димы Яковлева"? Государственная дума РФ приняла закон-ответ на "акт Магнитского" принятый в США, который запрещает усыновление российских детей гражданами США. Закон "О мерах воздействия на лиц, причастных к нарушениям основополагающих прав и свобод человека, прав и свобод граждан Российской Федерации", получил название - "закон Димы Яковлева".
|
