В12 К608 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : [Учеб. пособие для мат. специальностей] / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238 с. ; 22 см. - (Классический университетский учебник). - Указ. имен. и предм.: с. 229-236. - Библиогр.: с. 115, 228. - Содерж.: Введение в математическую логику; Математическая логика. Дополнительные главы. - 1500 экз.. -
Рубрики: Математическая логика Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Д721 Драгалин, Альберт Григорьевич. Конструктивная теория доказательств и нестандартный анализ [Текст] : монография / А. Г. Драгалин. - М. : Едиториал УРСС, 2003. - 543 с. - Текст рус., англ. - Имен. указ.: с. 530-543. - Библиогр. в конце разд. - 600 экз.. -
Рубрики: Доказательств теория Нестандартный анализ Интуиционистская логика--математическая Драгалин Альберт Григорьевич--математик Кл.слова (ненормированные): Математическая логика Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 К493 Клини, Стивен Коул. Математическая логика : монография / С. К. Клини ; пер. с англ. Ю. А. Гастева; под ред. Г. Е. Минца. - 2-е изд., стер. - М. : Едиториал УРСС, печ. 2004. - 480 с. ; 22 см. - Указ. авт. и предм.: с. 470-478. - Библиогр.: с. 451-465. - 500 экз.. -
Рубрики: Математическая логика Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Минц, Г.Е. \ред.\; Гастев, Ю.А. \пер.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Ю4 С37 Символическая логика : [учеб. для студентов и аспирантов филос. фак. ун-тов / И. Н. Бродский, С. С. Гусев, Э. Ф. Караваев и др.] ; под ред. Я. А. Слинина [и др.]; С.-Петерб. гос. ун-т. - СПб. : Изд-во С.-Петерб. ун-та, 2005. - 504, [1] с. ; 25 см. - Библиогр. в конце гл. Авт. указаны на обороте тит. л.
Рубрики: Симолическая логика Математическая логика Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Бродский, Иосиф Нусимович; Гусев, С.С.; Караваев, Э.Ф.; Слинин, Ярослав Анатольевич \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81 Д789 ДСМ-метод автоматического порождения гипотез : логич. и эпистемол. основания / [Финн В. К., Кузнецов С. О., Аншаков О. М. и др.] ; сост. О. М. Аншаков, Е. Ф. Фабрикантова ; под общ. ред. О. М. Аншакова ; [предисл. О. М. Аншакова, В. К. Финна]; Рос. гос. гуманитар. ун-т, Всерос. ин-т науч. и техн. информ. РАН. - М. : URSS : Либроком, 2009. - 430 с. : ил. ; 25 см. - Библиогр. в конце гл. Авт. указаны в огл.
Рубрики: гипотезы--автоматическое образование --философия Кл.слова (ненормированные): Интеллектуальные системы -- Математическая логика Доп.точки доступа: Финн, Виктор Константинович; Кузнецов, С.О.; Фабрикантова, Е.Ф. \сост.\; Аншаков, О.М. \ред.\; Российский гуманитарный ун-т Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Г474 Гильберт, Давид. Основы теоретической логики : под ред., с предисл. и коммент. С. А. Яновской / Д. Гильберт, В. Аккерман ; перевод с нем. А. А. Ерофеева. - Изд. 2-е, испр. - Москва : URSS, 2009. - 302, [2] с. ; 22 см. - (Физико-математическое наследие : ФМН. Математика (основания математики и логика)). - Библиогр.: с. 297-298. -
Рубрики: математическая логика Кл.слова (ненормированные): Математическая логика Держатели документа: ГПНТБ России Доп.точки доступа: Аккерман, Вильгельм; Яновская, Софья Александровна \ред.\; Ерофеев, А.А. \пер.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Ю4 Ф86 Ю4 / Ф86-02 Фреге, Готлоб. Логика и логическая семантика / Г. Фреге ; пер. с нем., вступ. ст., введ. и послесл. Б. В. Бирюкова ; под ред. З. А. Кузичевой ; коммент. Б. В. Бирюкова, З. А. Кузичевой ; Рус. ассоц. чтения, Межвуз. центр исслед. информ. культуры РФ. - Изд. 2-е, испр. - Москва : URSS : Либроком, 2012. - 511, [1] с. ; 22 см. - (Классики науки). - Имен. указ.: с. 509-511. -
Рубрики: логика Фреге Готлоб--логические взгляды семантика логическая Кл.слова (ненормированные): Математическая логика -- Логическая семантика Доп.точки доступа: Кузичева, З. А. \ред.\; Бирюков, Борис Владимирович \пер.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 В317 В12 / В317-02 Верещагин, Николай Константинович. Языки и исчисления / Н. К. Верещагин, А. Шень. - Изд. 4-е, испр. - Москва : Изд-во МЦНМО, 2012. - 240 с. : ил. ; 21 см. - (Лекции по математической логике и теории алгоритмов). - Указ. предм. и имен.: с. 228-240. - Библиогр.: с. 224-227. - 1000 экз. На обл. авт. не указаны
Рубрики: исчисление высказываний и предикатов Кл.слова (ненормированные): Математическая логика -- Алгоритмы Доп.точки доступа: Шень, Александр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr869 Pr869/385 Pr869/385 / Pr869/385-02 CSL' 88 : 2nd workshop on computer science logic, Duisburg, FRG, Oct. 3-7, 1988. Proc. / Ed. by E. Borger a. o. - Berlin [et al.] : Springer, 1989. - VI,399 p. : Ill. - (Lecture notes in computer science ; 385). - Bibliogr. at the end of the art Перевод заглавия: Труды 2-го семинара по компьютерной логике Рубрики: Языки программирования Математическая логика Кл.слова (ненормированные): логика программ -- языки программирования -- математическая логика Дескрипторы: сб пр -- конф Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1019 Pr1019/395 Pr1019/395 / Pr1019/395-02 Schmidt-Schauss, Manfred. Computational aspects of an order-sorted logic with term declarations : сборник / M. Schmidt-Schauss. - Berlin [et al.] : Springer, 1989. - VIII,171 p. - (Lecture notes in artificial intelligence ; 395) Bibliogr.: p. 156-166. Ind.: p. 167-168 Перевод заглавия: Вычислительные аспекты математической логики Рубрики: Математическая логика--Применение ЭВМ Кл.слова (ненормированные): математическая логика -- упорядоченная логика -- термы Дескрипторы: сб пр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
И-В1 T19 И-В1 / T19-02 Tao, Terence. Compactness and contradiction / T. Tao. - Providence : Amer. math. soc., 2013. - XII,256 p. : ill. - Bibliogr.: p. 249-253. - Ind.: p. 255-256 Перевод заглавия: Компактность и противоречие
Рубрики: Математика Кл.слова (ненормированные): математическая логика -- теория групп -- нестандартный аналз Перейти: Оглавление Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Ю93 К361 Ю93 / К361-02 Керзон, Пол. Вычислительное мышление : новый способ решать сложные задачи : [6+] / Пол Керзон, Питер Макоуэн ; [перевод с англ. Т. Мамедова]. - Москва : Альпина Паблишер, 2018. - 264 с. : ил. ; 21 см. - Библиогр.: с. 261-264. - Пер. изд. : The power of computational thinking / Paul Curzon, Peter W. McOwan. - 2000 экз.. -
Рубрики: Мышление--Развитие--Психология Теория решения изобретательских задач--Психология Математика Математическая логика Кл.слова (ненормированные): Мышление - Логические основы -- Математическая логика Доп.точки доступа: Макоуэн, Питер; Мамедов, Таир \пер.\; Curzon, Paul; McOwan, Peter W. Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 К887 В12 / К887-02 Кудж, Станислав Алексеевич. Логика и алгоритмы / С. А. Кудж, В. Я. Цветков. - Москва : МАКС Пресс, 2019. - 110 с. ; 22 см. - Библиогр.: с. 98-109 (140 назв.). - 500 (1-й з-д-50) экз.. -
Рубрики: Математическая логика Кл.слова (ненормированные): Математическая логика -- Алгоритмы Доп.точки доступа: Цветков, Виктор Яковлевич Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
З 81 В124 З 81 / В124-02 Вагин, Вадим Николаевич. Знания и убеждения в интеллектуальном анализе данных [Текст] / В. Н. Вагин. - Москва : Физматлит, 2019. - 535 с. : ил. ; 23 см. - Библиогр. в примеч.: с. 479-530. - 300 экз.. -
Рубрики: Искусственный интеллект Кл.слова (ненормированные): Математическая логика -- Интеллектуальные системы Экземпляры всего: 1 02 (1) Свободны: 02 (1) |