Математическая логика и теория алгоритмов / ДО 2021 электронный курс
| 第一著者: | |
|---|---|
| 要約: | Заглавие с экрана Основной целью курса является формирование у студентов знаний соответствующих разделов математической логики и теории алгоритмов, составляющих теоретический фундамент определенных этапов описания и разработки современных информационных и управляющих компьютерных систем. Курс предназначен для обучающихся в бакалавриате в 1 семестре. В курсе приводится введение в математическую логику и теорию алгоритмов, рассматриваются основы логики высказываний и логики предикатов, представлены вопросы по логическому следствию и методу резолюций, а также основы теории алгоритмов, где рассматриваются алгоритмы Маркова, Тьюринга и понятие сложности алгоритмов. Особое внимание уделяется применению теоретических основ матлогики и теории алгоритмов для решения задач (представлены примеры и задачи с решениями). Доступ по логину и паролю |
| 言語: | ロシア語 |
| 出版事項: |
Томск, TPU Moodle, 2021
|
| 主題: | |
| オンライン･アクセス: | https://design.lms.tpu.ru/course/view.php?id=4116 |
| フォーマット: | 電子媒体 図書 |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=667658 |