1. Главная
  2. Библиотека
  3. Лекции по математической логике и теории алгоритмов

Видеозаписи 132 видеозаписи

Юлия Маточкина, сольное пение, первая премия
Открытие III Международного музыкального фестиваля «Брасс белых ночей»
Борис Березовский. Все фортепианные сонаты Бетховена (третий концерт цикла)
«Билет в Большой» — фильм «Возвращение "Марко Спада"»
Gardenmart24
Издательство «МИФ»
Лекции по математической логике и теории алгоритмов Юрий Белов
Пособие посвящено основам математической логики и теории алгоритмов. При этом исчисление высказываний представлено достаточно полно, для исчисления предикатов рассмотрены вопросы интерпретации, непротиворечивости и неразрешимости, теория алгоритмов представлена материалами по вычислимым функциям, разрешимым и перечислимым множествам, рассмотрены неразрешимые алгоритмические проблемы. Раздел формальной арифметики включает теорему Гёделя о неполноте.

Fatal error: Uncaught Error: Call to a member function fetch_row() on false in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php:285 Stack trace: #0 /home/user/web/тумба.онлайн/private/versions/ver_5.php(577): include() #1 /home/user/web/тумба.онлайн/public_html/index.php(200): include('...') #2 {main} thrown in /home/user/web/тумба.онлайн/private/versions/ver_5/pages/books_single.php on line 285