В12 Г522 Гладкий, Алексей Всеволодович. Математическая логика [Текст] / А. В. Гладкий. - М. : [б. и.], 1998. - 479 с. : ил Библиогр.: с. 468-470. - Предм. указ., обозначений: с. 471-476 Рубрики: математическая логика Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Н134 Набебин, Алексей Александрович. Логика и Пролог в дискретной математике [Текст] / А. А. Набебин. - М. : МЭИ, 1996. - 451 с. : ил Библиогр.: с. 435-440 Рубрики: математическая логика дискретная математика графов теория, алгоритмы на графах языки программирования Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 А391 Акимов, Олег Евгеньевич. Дискретная математика: логика, группы, графы [Текст] : [Учеб. для вузов] / О. Е. Акимов. - М. : Лаб. базовых знаний, 2001. - 349 с. : ил. - (Техн. ун-т). - Рубрики: дискретная математика математическая логика графов теория Дескрипторы: моногр -- уч Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Пр50 Пр50/242 Пр50/242 / Пр50/242-02 Математическая логика и алгебра [Текст] : сб ст. / Под ред. Адяна С.И. - М. : Наука : Наука/Интерпериодика, 2003. - 205 c., [1] л. портр. - (Труды Математического института имени В.А. Стеклова / Российская академия наук, ISSN 0371-9685 ; т.242). -
Рубрики: Математическая логика Высшая алгебра Новиков Петр Сергеевич--математик Доп.точки доступа: Адян, С.И. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 К608 Колмогоров, Андрей Николаевич. Математическая логика [Текст] : [Учеб. пособие для мат. специальностей] / А. Н. Колмогоров, А. Г. Драгалин ; МГУ им. М. В. Ломоносова. - М. : Едиториал УРСС, 2004. - 238 с. ; 22 см. - (Классический университетский учебник). - Указ. имен. и предм.: с. 229-236. - Библиогр.: с. 115, 228. - Содерж.: Введение в математическую логику; Математическая логика. Дополнительные главы. - 1500 экз.. -
Рубрики: Математическая логика Кл.слова (ненормированные): Математическая логика Доп.точки доступа: Драгалин, Альберт Григорьевич Экземпляры всего: 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) |
З 973.2 Е805 Ершовские лекции : (памяти акад. А.П. Ершова) / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова, Новосиб. регион. обществ. фонд информатики и искусства программирования им. А.П. Ершова и др. ; Институт систем информатики им. А.П. Ершова (Новосибирск). - Новосибирск : [б. и.], 2009. - 88 с. : ил. - Загл. обл. : Ершовские лекции по информатике. -
Рубрики: электронные вычислительные машины--история программное обеспечение --ЭВМ--теория математическая логика Доп.точки доступа: Институт систем информатики им. А.П. Ершова (Новосибирск) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Г474 Гильберт, Давид. Основы теоретической логики : под ред., с предисл. и коммент. С. А. Яновской / Д. Гильберт, В. Аккерман ; перевод с нем. А. А. Ерофеева. - Изд. 2-е, испр. - Москва : URSS, 2009. - 302, [2] с. ; 22 см. - (Физико-математическое наследие : ФМН. Математика (основания математики и логика)). - Библиогр.: с. 297-298. -
Рубрики: математическая логика Кл.слова (ненормированные): Математическая логика Держатели документа: ГПНТБ России Доп.точки доступа: Аккерман, Вильгельм; Яновская, Софья Александровна \ред.\; Ерофеев, А.А. \пер.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Ш653 В12 / Ш653-02 Шиханович, Юрий Александрович. Логические и математические исчисления : учеб. пособие / Ю. А. Шиханович. - М. : Научный мир, 2011. - 253 с. - Библиогр.: с. 235-236. -
Рубрики: логические исчисления Математическая логика Экземпляры всего: 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) |
И-В12 S41 И-В12 / S41-02 Scott, Damon. Well-structured mathematical logic / D. Scott. - Durham : Carolina acad. press, 2013. - XVII,269 p. - Ind.: p. 266-269 Перевод заглавия: Хорошо структурированная математическая логика
Рубрики: Математическая логика Символическая логика--Математика Кл.слова (ненормированные): Математическая лингвистика Перейти: оглавление Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Шифр см. у томов Handbook of automated reasoning / eds.: A. Robinson, A. Voronkov. - Amsterdam [et al.] : Elsevier ; Cambridge : MIT press, 2001 Перевод заглавия: Справочник по автоматическому мышлению
Рубрики: Компьютеры--Теория Математическая логика Доп.точки доступа: Robinson, Alan \ed.\; Voronkov, Andrei \ed.\ Свободных экз. нет |
З 97 П395 З 97 / П395-02 Плоткин, Борис Исакович. Универсальная алгебра, алгебраическая логика и базы данных : монография / Б.И. Плоткин. - М. : Наука, 1991. - 446 с. : ил. Библиогр.: с. 435-442.- Предм. указ.: с. 443-446 Рубрики: Компьютеры--Базы данных Универсальные алгебры Математическая логика Дескрипторы: МОНОГР Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1182 Pr1182/N18(26) Pr1182/18(26) / Pr1182/N18(26)-02 Logic in computer science II / ed.: S. Ghilezan. - Beograd : Matematichki institut SANU, 2015. - 223 p. : ill. - (Zbornik radova / Математички институт (Београд) ; 18(26)). - Bibliogr. at the end of the art. Перевод заглавия: Логика в компьютерной науке
Рубрики: Компьютеры--Математические методы исследования Математическая логика Перейти: Оглавление Доп.точки доступа: Ghilezan, Silvia \ed.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
Pr1085 Pr1085/1997-8 Pr1085/1997-8 / Pr1085/1997-8-02 ВМИ Coquand, Thierr. Intuitionistic choice and classical logic : сборник / T. Coquand, E. Palmgren. - Goteborg : [s. n.], 1997. - 17 p. - (Preprint / Chalmers university of technology and the University of Goteborg. Department of mathematic, ISSN 0347-2809 ; n 1997-8) Bibliogr.: p. 16-17 Рубрики: Интуиционистская математика Математическая логика Кл.слова (ненормированные): интуционистский выбор Дескрипторы: сб пр -- моногр Доп.точки доступа: Palmgren, Erik Экземпляры всего: 1 02 ВМИ (1) Свободны: 02 ВМИ (1) |
Шифр см. у томов Пр627 Алгебра и логика : сб. науч. тр. / АН СССР. Сиб. отд-ние. Ин-т математики.- Т.1 (1962)- . - Новосибирск : [б. и.], 19 - . - Рубрики: Высшая алгебра Математическая логика Дескрипторы: сб пр Свободных экз. нет |
Шифр см. у томов Пр3197 Исследования по конструктивной математике и математической логике : сб. работ под ред. Данцина Е.Я., Оревкова В.П / ред.: Е. Я. Данцин, В. П. Оревкова. - Санкт-Петербург : Наука, Б. г.. - (Записки научных семинаров ПОМИ / Математический институт им. В. А. Стеклова (Москва). Санкт-Петербургское отделение, ISSN 0373-2703 ; ...). - Рубрики: Конструктивная математика Математическая логика Конструктивная теория функций Дескрипторы: сб пр -- сб -- многот Доп.точки доступа: Данцин, Е.Я. \ред.\; Оревкова, В.П. \ред.\ Свободных экз. нет |
Пр3867 Пр3867/25 Пр3867/25 / Пр3867/25-02 Пр3867/25 / Пр3867/25-02 ВМИ Математическая логика и теория алгоритмов : сборник / Отв. ред.: Ю.Л. Ершов, С.С. Гончаров. - Новосибирск : Наука, 1993. - 201 с. - (Труды Института математики СО РАН им. С.Л. Соболева, ISSN 0208-0060 ; т.25). - Библиогр. в конце ст. - Рубрики: Алгоритмы--Теория Математическая логика Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Гончаров, С.С. \ред.\ Экземпляры всего: 2 02 (1), 02 ВМИ (1) Свободны: 02 (1), 02 ВМИ (1) |
Пр3867 Пр3867/30 Пр3867/30 / Пр3867/30-02 Вопросы алгебры и логики : сборник / Отв. ред.: Ершов Ю.Л., Мазуров В.Д. - Новосибирск : Институт математики, 1996. - 192 с. : ил. - (Труды Института математики СО РАН им. С.Л. Соболева, ISSN 0208-0060 ; т.30). - Библиогр. в конце ст. - Рубрики: Высшая алгебра Математическая логика Дескрипторы: сб пр -- сб Доп.точки доступа: Ершов, Ю.Л. \ред.\; Мазуров, В.Д. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |