Näita mobiiliversiooni

Liigu sisu juurde Liigu peamenüü juurde

Avaleht / Raamatud / Õpikud ja kool / Abimaterjalid / МАТЕМАТИЧЕСКАЯ ЛОГИКА. КУРС ЛЕКЦИЙ

Raamat

МАТЕМАТИЧЕСКАЯ ЛОГИКА. КУРС ЛЕКЦИЙ

Autor: СЕРГЕЙ ШАПОРЕВ

* * * * * * * * * * Hinda ja arvusta (0)

Sisukirjeldus

В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Для студентов, аспирантов и преподавателей технических вузов.

Lisainfo
ISBN 9785977538060
Ilmumisaasta 2017
Keel venekeelne
Formaat Pehmekaaneline
Lehekülgi 416 lk
Mõõt 215x152x22 (mm)
Kirjastus БХВ
Lisamise aeg: 25.01.2017
Arvustused (0)
Suhtlusvõrkude arvustused

Vabandame! Teie veebilehitseja on liiga väike meie kodulehe külastamiseks.

We're sorry! Your browser is too small for this website.

Приносим извинения! Размеры вашего браузера слишком малы для посещения нашей страницы.