Поисковый запрос: (<.>S=Математическая логика<.>) |
Общее количество найденных документов : 365
Показаны документы с 1 по 10 |
|
| 1. | 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
Найти похожие
| |
| 2. | 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
Найти похожие
| |
| 3. | 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) \о нем\
Найти похожие
| |
| 4. | 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
Рубрики: Математическая логика
Найти похожие
| |
| 5. | 2016к/6410
Мельников, Геннадий Прокопьевич (1928-2000).
Азбука математической логики / Г. П. Мельников. - Изд. 2-е. - Москва : URSS : ЛЕНАНД, 2014 (cop. 2013). - 102, [2] с. : ил. ; 22 см. - (Науку - всем!. Математика : шедевры научно-популярной литературы ; № 78). - Репр. воспроизведение изд., вых. дан. ориг.: М.: Знание, 1967. - ISBN 978-5-9710-0717-3.
ББК 22.12 В12я9
Рубрики: Математическая логика
Доп.точки доступа: Мельников, Геннадий Прокопьевич (1928-2000)
Найти похожие
| |
| 6. | 2022б/142
Стрыгин, Владимир Захарович .
Аксиомы матричной логики / В. З. Стрыгин. - [Изд. 2-е, доп.]. - Жуковский : Стрыгин В. З., 2018. - 14 с., включая обл. ; 21 см. - Библиогр.: с. 14 (14 назв.). - Опис. по обл. Без тит. л. - 100 экз.
ББК В123.2
Рубрики: Аксиомы (мат.)
Математическая логика
Найти похожие
| |
| 7. | 2002к/7111
Дегтев, Александр Николаевич .
Алгебра и логика : [Учеб. пособие] / А. Н. Дегтев ; М-во образования Рос. Федерации, Тюмен. гос. ун-т. - Тюмень : Изд-во Тюмен. гос. ун-та, 2000. - 86,[1] с. ; 20 см.. - Библиогр.: с. 86. - Предм. указ.: с. 84-86. - ISBN 5-88081-194-8.
ББК 22.14я73
Рубрики: Алгебра высшая
Математическая логика
Доп.точки доступа: Дегтев, Александр Николаевич
Найти похожие
| |
| 8. | Ак.с.
Алгебра и логика: теория и приложения : тезисы докладов Международной конференции, посвященной 70-летию В. М. Левчука, Красноярск, 24-29 июля 2016 г. / М-во образования и науки Российской Федерации, Сибирский федеральный ун-т, Ин-т математики Сибирского отд-ния Российской Акад. наук, Ин-т вычислительного моделирования Сибирского отд-ния Российской Акад. наук ; [отв. за вып. : С. И. Башмаков и др.]. - Красноярск : СФУ, 2016. - 131 с. ; 21 см. - Текст рус., англ. - Библиогр. в конце ст. - 100 экз.. - ISBN 978-5-7638-3517-5.
ББК В15я434 В12я434
Рубрики: Физико-математические науки -- Математика -- Высшая алгебра -- Материалы конференций
Физико-математические науки -- Математика -- Основания математики. Математическая логика -- Материалы конференции
Алгебра
Математическая логика
Доп.точки доступа: Башмаков, Степан Игоревич \отв. исполн.\; Левчук, Владимир Михайлович \о нем\; Сибирский федеральный университет
Найти похожие
| |
| 9. | Ак.с.
Алгебра и логика: теория и приложения : международная конференция, посвященная памяти В. П. Шункова (Красноярск, 21-27 июля 2013 года) : тезисы докладов / [отв. за вып. Левчук В. П. и др.]. - Красноярск : СФУ, 2013. - 190 с. : портр. ; 21 см. - В надзаг.: М-во образования и науки Рос. Федерации, Сиб. федер. ун-т, Ин-т математики СО РАН, Ин-т вычисл. моделирования СО РАН. - Часть текста англ. - Библиогр. в конце докл. - 150 экз.. - ISBN 978-5-7638-2877-1.
ББК 22.1 В152я434 В12я434
Рубрики: Алгебра высшая
Математическая логика
Доп.точки доступа: Левчук, В. П. \ред.\; Шунков, Владимир Петрович \о нем\
Найти похожие
| |
| 10. | 2023к/3338
Тулупьев, Александр Львович (1970-).
Алгебраические байесовские сети: глобальный логико-вероятностный вывод в деревьях смежности : учебное пособие / А. Л. Тулупьев ; Санкт-Петербургский государственный университет. - 2-е изд., перераб. и доп. - Санкт-Петербург : ВВМ, 2019. - 106 с. : ил. ; 22 см. - (Элементы мягких вычислений) (Благотворительный фонд Владимира Потанина. Стипендиальная программа). - Библиогр.: с. 101-104 (38 назв.). - 500 экз.. - ISBN 978-5-9651-1211-1 (в пер.).
ББК З813.5я73-1
Рубрики: Математическая логика
Математическая статистика
Байеса подход
Найти похожие
| |
|
|
|
Электронный каталог (ЭК) Библиотеки Российской академии наук (БАН)
Описание ЭК