 | УЧЕБНИКИ |
|
| |
| |
| |
Учебники для вузов: НовинкиДля связи: info@vuz-uchebniki.ru
| |
| |
высшее образование / учебники для вузов / литература для студентов и педагогов / литература для аспирантов |
С. И. Гуров
Логика высказываний. Учебное пособие | Гуров Сергей Исаевич
Страниц: 272 Формат: 60x90/16 При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.]]> Категории каталога: Абитуриентам и студентам |
|
Студенту на заметку:
Психология для студентов, или Как научиться работать и добиваться успеха0°
Приветствую Вас! В сегодняшний уикенд готов представить довольно полезную книгу для любого студента. На этот раз будем изучать психологию. Кашапов Р.Р, автор книги, смело предлагает нам овладетьЧитать дальше... Copyright Y 2011, Студент отличник. Блог успешного студента. Все права защищены. | Постоянная ссылка | Хотите узнать больше? Посмотреть все записи в категории Полезные книги.
Привет, мир!
Добро пожаловать в WordPress. Это ваша первая запись. Отредактируйте или удалите ее, затем пишите!
|
