В12 Е804 Ершов, Юрий Леонидович. Определимость и теорема Геделя о неполноте [Текст] : учеб. пособие / Ю. Л. Ершов ; отв. ред. С. С. Гончаров. - Новосибирск : Науч. кн., 1995. - 75 с. - Рубрики: Геделя теорема Дескрипторы: моногр -- уч Доп.точки доступа: Гончаров, С.С. \ред.\ Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 1996. - 286 с. - (Сиб. шк. алгебры и логики) Библиогр.: с. 277-279. - Предм. указ.: с. 281-284 Рубрики: вычислимость в математической логике Геделя теорема Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В15 Е804 Ершов, Юрий Леонидович. Кратно нормированные поля [Текст] / Ю. Л. Ершов. - Новосибирск : Науч. кн., 2000. - 330 с. - (Сиб. шк. алгебры и логики) На пер. авт. не указан. - Библиогр.: с. 319-326. - Предм. указ.: с. 327-329 Рубрики: нормированные поля Прюферовы кольца Булевы кольца и алгебры Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 Ершов, Юрий Леонидович. Определимость и вычислимость [Текст] / Ю.Л. Ершов; Ин-т математики СО РАН, Новосиб. гос. ун-т, Ин-т дискрет. математики и информатики. - 2-е изд., испр. и доп. - М. : Экономика, 2000. - 318 с. Библиогр.: с. 306-309. - Указ. предм., обозначений: с. 310-314 Рубрики: вычислимость, определимость, в математической логике Дескрипторы: моногр Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В1 Е804 Ершов, Юрий Леонидович. Современная философия математики: недомогания и лечение / Ю. Л. Ершов, К. Ф. Самохвалов ; Ин-т математики, Сиб. отд-ние РАН. - Новосибирск : Параллель, 2007. - 142 с. ; 22 см. - (Новая философия математики). - Библиогр.: с. 140-142. - 300 экз.. -
Рубрики: Математика--философия Кл.слова (ненормированные): Математика - Философские проблемы Доп.точки доступа: Самохвалов, Климентий Федорович Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 В12 / Е804-02 Ершов, Юрий Леонидович. Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев ; науч. ред. К. Ф. Самохвалов, А. С. Морозов ; Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева, Ин-т философии и права. - Новосибирск : Изд-во СО РАН, 2012. - 497,[6] с. - (Интеграционные проекты СО РАН ; вып. 40). - Библиогр.: с. 490-497. -
Рубрики: Вычислимость--В математической логике--Философия Алгоритмы--Теория Мышление--Философия Перейти: Оглавление Доп.точки доступа: Целищев, Виталий Валентинович Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В1 Е804 В1 / Е804-02 Юрий Леонидович Ершов : биобиблиографический указатель / Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева ; науч. ред. С. С. Гончаров. - 3-е изд., доп. и перераб. - Новосибирск : Издательство Института математики, 2015. - 104, [1] с. : портр. ; 17 см. - 250 экз.. -
Кл.слова (ненормированные): Математическая наука в Российской Федерации - Биобиблиографические пособия -- Алгебра логики - Библиографические указатели Доп.точки доступа: Гончаров, Сергей Севостьянович \ред.\; Ершов, Юрий Леонидович (математик); Институт математики им. С. Л. Соболева (Новосибирск) Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 В12 / Е804-02 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для математических специальностей вузов / Ю. Л. Ершов. - 2-е изд., испр. и доп. - Москва : Наука, 1987. - 336 с. - Предм. указ.: с. 335-336. -
Экземпляры всего: 1 02 (1) Свободны: 02 (1) |
В12 Е804 В12 / Е804-02 Ершов, Юрий Леонидович. Математическая логика : учебное пособие для вузов / Ю. Л. Ершов, Е. А. Палютин. - Москва : Наука, 1979. - 320 с. - Указ. предм. и обозначений: с. 335-336. -
Доп.точки доступа: Палютин, Евгений Андреевич Экземпляры всего: 1 02 (1) Свободны: 02 (1) |