Успенский Владимир Андреевич; Плиско Валерий Егорович; Верещагин Николай Константинович — Knigausa Bookstore: Russian Books https://knigausa.com Just another WordPress site Wed, 29 Jan 2025 18:43:59 +0000 ru-RU hourly 1 https://wordpress.org/?v=6.7.4 Вводный курс математической логики. 2-е изд. Успенский В.А.. Верещагин Н.К., и др. https://knigausa.com/product/%d0%b2%d0%b2%d0%be%d0%b4%d0%bd%d1%8b%d0%b9-%d0%ba%d1%83%d1%80%d1%81-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b8-2-%d0%b5/ https://knigausa.com/product/%d0%b2%d0%b2%d0%be%d0%b4%d0%bd%d1%8b%d0%b9-%d0%ba%d1%83%d1%80%d1%81-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b8-2-%d0%b5/#respond Wed, 29 Jan 2025 18:43:59 +0000 https://knigausa.com/product/%d0%b2%d0%b2%d0%be%d0%b4%d0%bd%d1%8b%d0%b9-%d0%ba%d1%83%d1%80%d1%81-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b8-2-%d0%b5/ В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.Для студентов математических факультетов университетов, педагогических институтов, а также других ВУЗов с углубленным изучением информатики и кибернетики.2-е издание.

]]> https://knigausa.com/product/%d0%b2%d0%b2%d0%be%d0%b4%d0%bd%d1%8b%d0%b9-%d0%ba%d1%83%d1%80%d1%81-%d0%bc%d0%b0%d1%82%d0%b5%d0%bc%d0%b0%d1%82%d0%b8%d1%87%d0%b5%d1%81%d0%ba%d0%be%d0%b9-%d0%bb%d0%be%d0%b3%d0%b8%d0%ba%d0%b8-2-%d0%b5/feed/ 0 1864549