Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
| 1. | II 2013л/201
Girard, Jean-Yves (1947- ).
The blind spot : lectures on logic / Jean-Yves Girard. - Zürich : European mathematical society, 2011. - XIII, 537 c. : ил. ; 24 см. - Библиогр.: с. 509-515. - Указ.: с. 517-537. - ISBN 978-3-03719-088-3.
Перевод заглавия: Слепое пятно: лекции по логике.
ББК В12
Рубрики: Математическая логика
Найти похожие
| |
| 2. | II 24184, 33)
Kurt Gödel : essays for his centennial : [2006 Association for symbolic logic annual meeting ... 17-21 May at the Université du Québec à Montreal ... 2004 ASL annual meeting at Carnegie Mellon university : papers] / edited by Solomon Feferman, Charles Parsons. Stephen G. Simpson. - New York (NY) : Cambridge university press : Association for symbolic logic, 2010. - X, 373 c. : ил. ; 24 см. - (Lecture notes in logic ; 33). - Библиогр. в конце ст.. - ISBN 978-0-521-11514-8.
Перевод заглавия: Курт Гёдель: эссе в честь столетия со дня рождения. Статьи ежегодной встречи Ассоциации символьной логики.
ББК В12я434 В1д(3)Гёдель Курт
Рубрики: Математическая логика
Математика--персоналия
Доп.точки доступа: Feferman, Solomon; Parsons, Charles (1933- ); Simpson, Stephen George (1945- ); Gödel, Kurt (1906-1978) \о нем\; Association for symbolic logic (Pougkeepsie, NY). Meeting; Association for symbolic logic (Pougkeepsie, NY). Meeting
Найти похожие
| |
| 3. | II 1999к/37
Halmos, Paul .
Logic as algebra / Paul Halmos, Steven Givant. - [Washington] : Math. assoc. of America, 1998. - IX, 141 c. ; 23 см. - (Dolciani mathematical expositions ; n 21). - Указ.: с. 135-141. - ISBN 0-88385-327-2.
Перевод заглавия: Логика как алгебра.
ББК В12
Рубрики: Математическая логика
Доп.точки доступа: Halmos, Paul; Givant, Steven
Найти похожие
| |
| 4. | II 25303, 25, 1)
The Peano school: : logic, epistemology and didactics / edited by Paola Cantù & Erika Luciano. - Paris : Éditions Kimé, 2021. - 192 c. : ил. ; 21 см. - (Philosophia scientiæ, ISSN 1281-2463 ; vol. 25, cah. 1). - Текст англ., нем. - Рез. фр., англ. - Библиогр. в конце ст.. - ISBN 978-2-38072-000-6.
Перевод заглавия: Школа Пеано: логика, эпистемология и дидактика.
ББК В1д(3)ПеаноДжузеппея434 В12я434
Рубрики: Математика--персоналия
Математическая логика
Доп.точки доступа: Cantù, Paola; Luciano, Erika; Peano, Giuseppe (1858-1932) \о нем\
Найти похожие
| |
| 5. | Групп.хр.
Авдеюк, Оксана Алексеевна .
Конспект лекций по математической логике и теории алгоритмов : учебно-методическое пособие / О. А. Авдеюк ; М-во образования и науки Рос. Федерации, Волгогр. гос. техн. ун-т. - Волгоград : ВолгГТУ, 2017. - 111, [1] с. : ил. ; 20 см. - Библиогр.: с. 111-112. - 200 экз.. - ISBN 978-5-9948-2443-6.
Рубрики: Математическая логика
Алгоритмы
Найти похожие
| |
| 6. | Групп.хр.
Авдеюк, Оксана Алексеевна .
Конспект лекций по математической логике и теории алгоритмов : учебно-методическое пособие / О. А. Авдеюк ; Министерство образования и науки РФ, Волгоградский государственный технический университет. - 2-е изд., перераб. и доп. - Волгоград : ВолгГТУ, 2018. - 130, [1] с. : ил. ; 21 см. - Библиогр.: с. 130-131 (23 назв.). - 250 экз.. - ISBN 978-5-9948-2870-0.
Рубрики: Математическая логика
Алгоритмы
Найти похожие
| |
| 7. | Групп.хр.
Авдеюк, Оксана Алексеевна .
Лекции и практикум по основам дискретной математики и математической логике : учебно-методическое пособие / О. А. Авдеюк, Л. В. Дружинина, И. В. Приходькова ; Министерство науки и высшего образования Российской Федерации, Волгоградский государственный технический университет. - Волгоград : ВолгГТУ, 2019. - 315, [1] с. : ил. ; 20 см. - Библиогр.: с. 315-316 (23 назв.). - 300 экз.. - ISBN 978-5-9948-3251-6.
Рубрики: Дискретная математика
Математическая логика
Доп.точки доступа: Дружинина, Лидия Викторовна; Приходькова, Инна Владимировна
Найти похожие
| |
| 8. | Групп.хр.
Авдеюк, Оксана Алексеевна .
Математическая логика : конспект лекций для студентов заочного отделения : учебное пособие / О. А. Авдеюк ; М-во образования и науки Рос. Федерации, Волгогр. гос. техн. ун-т. - Волгоград : ВолгГТУ, 2011. - 59, [1] с. : ил. ; 21 см.. - Библиогр.: с. 58. - 100 экз.. - ISBN 978-5-9948-0690-6.
ББК 22.12я73
Рубрики: Математическая логика
Доп.точки доступа: Авдеюк, Оксана Алексеевна
Найти похожие
| |
| 9. | Ак.с.
2001к/4307
Аверкин, Алексей Николаевич .
Параметрические логики в интеллектуальных системах управления / А. Н. Аверкин, И. Н. Федосеева ; Рос. акад. наук, Вычисл. центр. - М. : ВЦ РАН, 2000. - 103,[3] с. : ил. ; 21 см.. - Библиогр.: с. 101-104. - ISBN 5-201-14742-9.
ББК 32.965
Рубрики: Вычислительные системы управления - математическое моделирование
Математическая логика
Интеллектуальные системы
Доп.точки доступа: Аверкин, Алексей Николаевич; Федосеева, И. Н.
Найти похожие
| |
| 10. | 2016к/8957
Алаев, Павел Евгеньевич. Математическая логика : учебное пособие : [в 2 ч.] / П. Е. Алаев, Л. Л. Максимова; М-во образования и науки РФ, Новосиб. гос. ун-т, Мех.-мат. фак., Каф. алгебры и мат. логики. - Новосибирск : НГУ, 2014 . - 21 см
Ч. 1 . - 105 с. . - Библиогр.: с. 101. - Предм. указ.: с. 102-105. - 200 экз.. - ISBN 978-5-4437-0269-8.
ББК 22.12я73 В12я73-1
Рубрики: Математическая логика
Доп.точки доступа: Максимова, Лариса Львовна
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК