Издательство: | Либроком |
Серия: | Физико-математическое наследие: математика (основания математики и логика) |
Дата выхода: | январь 2012 |
ISBN: | 978-5-397-02663-5 |
Объём: | 128 страниц |
Обложка: | мягкая |
Вниманию читателей предлагается книга известного французского математика и философа Луи Кутюра, содержащая основы алгебры логики - раздела математической логики, в котором изучаются логические операции над высказываниями. Представлены две интерпретации логического исчисления. Излагаются принципы и законы алгебры логики, важнейшие теоремы; рассматриваются логические функции и основные формулы. Издание включает два приложения, добавленные при переводе книги на русский язык, в которых рассматривается вопрос о чисто формальном обосновании логики предложений.
Книга рекомендуется математикам, философам, логикам, историкам и методологам науки, студентам и аспирантам соответствующих специальностей.