Элементы математической логики
Фролов И.С.
Самара: Изд-во Самарского государственного университета, 2001 г., 80 с.
Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяемых методов. Предназначено для студентов первого и второго курсов математических специальностей университетов, изучающих курсы дискретной математики и математической логики.
Учебное пособие написано на основе курса лекций, читаемого автором в течение ряда лет студентам-математикам. В нем рассматриваются основные понятия и вопросы, относящиеся к элементарным разделам математической логики: логические функции, нормальные формы, исчисление высказываний, формальные теории. Изложение сопровождается примерами и иллюстрациями вводимых понятий и применяемых методов. Предназначено для студентов первого и второго курсов математических специальностей университетов, изучающих курсы дискретной математики и математической логики.
Litres
Möchten Sie Ihren Buchladen hinzufügen? Kontaktieren Sie uns unter support@z-lib.do
Konvertieren Sie Dateien
Mehr Suchergebnisse
Andere Vorteile 
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
![Идельсон А.В., Минц Г.Е. (ред.) — Математическая теория логического вывода [сборник переводов статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/1eebf89368c6f5ad9081ffa5a1993272e6ab65571b3f54d8037fa4b853c88c34.jpg)
