22.12 У77 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - М. : Физматлит, 2004. - 126 с. - Библиогр.: с. 122. - Предм. указ.: с. 123. - ISBN 5-9221-0278-8 : 114.44 р. Рубрики: Математическая логика Кл.слова (ненормированные): теория множеств -- теорема Кантора -- языки первого порядка -- логические операции -- кванторы -- элементы теории доказательств -- логическое следование -- теорема Гёделя -- теорема алгоритмов Доп.точки доступа: Верещагин, Н.К.; Плиско, В.Е. Экземпляры всего: 5 аб. (3), ч.з. (2) Свободны: аб. (2), ч.з. (2) |
22.12 У77 Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] : [учеб. пособие] / В. А. Успенский, Н. К. Верещагин, В. Е. Плиско. - 2-е изд. - М. : Физматлит, 2007. - 126 с. - Библиогр. : с. 122 . - Предм. указ. : с. 123 . - ISBN 978-5-9221-0278-0 : 142.78 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): элементы теории множеств -- языки первого порядка -- элементы теории доказательств -- теорема Гёделя о полноте -- теория алгоритмов -- математическая логика Доп.точки доступа: Верещагин, Николай Константинович; Плиско, Валерий Егорович Экземпляры всего: 4 аб. (4) Свободны: аб. (4) |
22.1 У77 Успенский, Владимир Андреевич. Апология математики [Текст] : сб. / В. А. Успенский. - СПб. : Амфора, 2010. - 554 с. - (Новая Эврика). - ISBN 978-5-367-00689-6 (в пер.) : 238.00 р. Прил. : с. 506 Рубрики: Математика Кл.слова (ненормированные): математика -- математика в современном мире -- математическое и гуманитарное -- аксиоматический метод -- математические доказательства -- философия математики -- математика и филология Экземпляры всего: 1 аб. (1), ч.з. Свободны: аб. (1) |
22.12 В 31 Верещагин, НиколайК Константинович. Колмогоровская сложность и алгоритмическая случайность [Текст] / Н. К. Верещагин, В. А. Успенский, А. Шень. - М. : МЦНМО, 2013. - 575 с. - ISBN 978-5-4439-0212-8 (в пер.) : 800.00 р. Рубрики: Математика Математическая логика Кл.слова (ненормированные): колмогоровская сложность -- априорная сложность -- монотонная сложность -- шенноновская энтропия Доп.точки доступа: Успенский, Владимир Андреевич; Шень, Александр Экземпляры всего: 1 аб. (1) Свободны: аб. (1) |