УЧЕБНИКИ
ДЛЯ ВУЗОВ

   
Ученый уже в ранней молодости должен примириться с мыслью о том, что об окружающем его мире ему суждено знать очень немногое.
Франс А.

Учебники для вузов: Новинки



Для связи: info@vuz-uchebniki.ru




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


С. И. Гуров

Логика высказываний. Учебное пособие | Гуров Сергей Исаевич




   
Страниц: 272
Формат: 60x90/16
При изложении материала подчёркиваются алгебраические аспекты исчислений высказываний классической и интуиционистской логик. Изложены методы характеризации формул логики высказываний, подробно рассмотрены гильбертовские исчисления, система натурального вывода и исчисление секвенций для исчисления высказываний. Для каждой из трёх систем рассматривается соответствующая метатеория. Рассматриваются семантические методы характеризации формул (таблицы Э.Бета, семантика возможных миров С.Крипке). 
Пособие содержит большое количество примеров, позволяющих читателю легко освоиться с вводимыми понятиями.]]>
Категории каталога:
Абитуриентам и студентам






Студенту на заметку:
Проблемы тревожности у школьников
Для любого ребёнка поступление в первый класс, в школу – чрезвычайно значимое событие. Однако все дети разные и по-разному адаптируются к новой обстановке.


Проблемы студенческой семьи
Студенты – народ, как известно, весёлый и незакомплексованный, многие любят проводить свободное время весело в компании сверстников, не особенно задумываясь о последствиях.