Приложение
для AndroidПолное описание
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Гончаров С.С. Введение в логику и методологию науки / С. С. Гончаров, Ю. Л. Ершов, К. Ф. Самохвалов, 1994. - 255 c. - Текст : непосредственный.Ершов Ю.Л. Математическая логика / Ю. Л. Ершов, Е. А. Палютин, 2004. - 336 с. - Текст : непосредственный.Интеграционные проекты СО РАН / Российская академия наук. Сибирское отделение. Вып. 40 : Алгоритмы и вычислимость в человеческом познании / Ю. Л. Ершов, В. В. Целищев, 2012. - 503 с. - Текст : непосредственный.
Интеграционные проекты СО РАН / Рос. АН. Сиб. отд-ние. Вып. 22 : Информационная система математических Интернет-ресурсов MathTree / Ю. Л. Ершов [и др.] ; ред. О. А. Клименко, 2010. - 287 с. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1995. - 219 c. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Ред. Ю. Л. Ершов, 1993. - 201 c. - Текст : непосредственный.Ершов Ю.Л. Кратно нормированные поля / Ю.Л.Ершов, 2000. - 330 с. - Текст : непосредственный.Теория алгоритмов и ее приложения : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1989. - 100 c. - Текст : непосредственный.Логические методы в информатике : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1993. - 176 с. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 1996. - 286 c. - Текст : непосредственный.Ершов Ю.Л. Определимость и вычислимость / Ю.Л.Ершов, 2000. - 318 с. - Текст : непосредственный.Ершов Ю.Л. Theory of numberings / Ю.Л.Ершов, 1996. - 37 p. - Текст : непосредственный.Структурные алгоритмические свойства вычислимости : Сб. науч. тр. / Науч.ред.Ю.Л.Ершов,С.С.Гончаров, 1996. - 152 c. - Текст : непосредственный.Вопросы алгебры и логики : Сб. ст. / Отв. ред. Ю.Л.Ершов, В.Д.Мазуров, 1996. - 192 с. - Текст : непосредственный.Ершов Ю.Л. О d-пространствах / Ю.Л.Ершов, 1997. - 18 с. - Текст : непосредственный.Ершов Ю.Л. e-определимость и теорема Геделя о неполноте : учеб. пособие / Ю. Л. Ершов, 1995. - 75 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Анализ временных рядов и символьных последовательностей : сборник научных трудов / Ред. Ю. Г. Косарев, 1991. - 183 с. - Текст : непосредственный.Пленочная электромеханика : сборник научных трудов / Ред. В. Л. Дятлов, 1991. - 109 с. - Текст : непосредственный.Экспертные системы и анализ данных : сборник научных трудов / Ред. Н. Г. Загоруйко, 1991. - 177 с. - Текст : непосредственный.Искусственный интеллект и экспертные системы : сборник / Ред. Н. Г. Загоруйко, 1997. - 216 с. - Текст : непосредственный.Измерение и модели когнитивных процессов : сборник научных трудов / Сост. К. Ф. Самохвалов, 1998. - 109 с. - Текст : непосредственный.Интерполяция и аппроксимация сплайнами : сборник научных трудов / Ред. Ю. С. Завьялов, 1992. - 102 c. - Текст : непосредственный.
Анализ последовательностей и таблиц данных : Сб. науч. тр. / Ред. Н. Г. Загоруйко, 1994. - 229 c. - Текст : непосредственный.Анализ данных и знаний в экспертных системах : Сб.науч.тр. / Ред. Н. Г. Загоруйко, 1990. - 164 с. - Текст : непосредственный.Системология и методологические проблемы информационно-логических систем : Сб.ст. / Ред. Ю. Г. Косарев, 1990. - 191 с. - Текст : непосредственный.Теория вычислений и языки спецификаций : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1995. - 219 c. - Текст : непосредственный.Обнаружение эмпирических закономерностей : Сб. науч. тр. / Науч. ред. Н.Г.Загоруйко, 1999. - 133 с. - Текст : непосредственный.Математические вопросы химической информатики : Сб.науч.тр. / Науч. ред. Н. Г. Загоруйко, В. А. Скоробогатов, 1989. - 92 c. - Текст : непосредственный.Теория алгоритмов и ее приложения : Сб. науч. тр. / Ред. Ю. Л. Ершов, 1989. - 100 c. - Текст : непосредственный.Моделирование в пленочной электромеханике : Сб.ст. / Ред. В. Л. Дятлов, 1989. - 123 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Дискретный анализ : Сб.тр. / АН СССР.Ин-т математики. 51 : Методы дискретного анализа в синтезе реализаций булевых функций, 1991. - 115 с. - Текст : непосредственный.Анализ временных рядов и символьных последовательностей : сборник научных трудов / Ред. Ю. Г. Косарев, 1991. - 183 с. - Текст : непосредственный.Пленочная электромеханика : сборник научных трудов / Ред. В. Л. Дятлов, 1991. - 109 с. - Текст : непосредственный.Экспертные системы и анализ данных : сборник научных трудов / Ред. Н. Г. Загоруйко, 1991. - 177 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 13(30), 1974. - 169 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 12(29), 1973. - 156 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 10(27), 1973. - 174 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 9(26), 1973. - 210 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 8(25), 1972. - 130 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 7(24), 1972. - 147 с. - Текст : непосредственный.Оптимизация : Сб.тр. / АН СССР. Сиб.отд-ние. Ин-т математики. Вып. 5(22), 1972. - 160 с. - Текст : непосредственный.Искусственный интеллект и экспертные системы : сборник / Ред. Н. Г. Загоруйко, 1997. - 216 с. - Текст : непосредственный.Измерение и модели когнитивных процессов : сборник научных трудов / Сост. К. Ф. Самохвалов, 1998. - 109 с. - Текст : непосредственный.Методы решения условно-корректных задач : сборник научных трудов / Институт математики (Новосибирск), 1991. - 217 с. - Текст : непосредственный.Интерполяция и аппроксимация сплайнами : сборник научных трудов / Ред. Ю. С. Завьялов, 1992. - 102 c. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Матросов В.Л. Теория алгоритмов / В. Л. Матросов, 1989. - 187 с. - Текст : непосредственный.HromkoviC J. Design and analysis of randomized algorithms / J. HromkoviC, 2005 r=on-line. - Текст : электронный.Бабенко М.А. Введение в теорию алгоритмов и структур данных : выставочные материалы / М. А. Бабенко, М. В. Левин, 2016. - 139 с. - Текст : непосредственный.Волченков С.Г. Методы построения эффективных алгоритмов / С. Г. Волченков, Ю. В. Богомолов, 2004. - 125 с. - Текст : непосредственный.Алексеев В.Е. Графы. Модели вычислений. Структуры данных / В. Е. Алексеев, В. А. Таланов, 2005. - 307 с. - Текст : непосредственный.Подзоров С.Ю. Верхние полурешетки арифметических нумераций в арифметических m-степеней : специальность 01.01.06 "Математическая логика, алгебра и теория чисел" : диссертация на соискание ученой степени д-ра физ.-мат. наук / С. Ю. Подзоров, 2010. - 18 с. - Текст : непосредственный.Булос Д. Вычислимость и логика : монография / Д. Булос, Р. Джеффри, 1994. - 396 c. - Текст : непосредственный.Zakrzewski M. Wprowadzenie w teorie zlozonosci obliczeniowej: W kregu zagadnienia P-NP. / M. Zakrzewski, 1990. - 87 s. - Текст : непосредственный.Гашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный.Шумова Л.В. Частично-рекурсивные функции и алгоритмы : материалы временных коллективов / Л. В. Шумова, О. Б. Воронина, А. А. Шпонько, 2004. - 58 с. - Текст : непосредственный.Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный.Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный.Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный.Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный.Parameterized and exact computation / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.Романов В.Ф. Математическая логика и теория алгоритмов / В. Ф. Романов, 2003. - 23 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Алферова З.В. Теория алгоритмов, 1973. - 164 с. - Текст : непосредственный.
Показать все результатыГашков С.Б. Арифметика. Алгоритмы. Сложность вычислений / С. Б. Гашков, В. Н. Чубариков, 2005. - 319 с. - Текст : непосредственный.Мир математики : [в 45 т.]. [Т.] 43 : Существуют ли неразрешимые проблемы? Математика, сложность и вычисление : [пер. с исп.] / Л. Ф. Ареан, 2014. - 143 с. - Текст : непосредственный.Сэвидж Д.Э. Сложность вычислений / Д. Э. Сэвидж, 1998. - 368 с. - Текст : непосредственный.Ворожцов А.В. Алгебраические методы определения сложности / А. В. Ворожцов, 2001. - 20 с. - Текст : непосредственный.Орехов Э.Ю. Введение в теорию сложности решения задач : учебное пособие / Э. Ю. Орехов, Ю. В. Орехов, 2008. - 87 с. - Текст : непосредственный.Шурыгин В.А. Сложностный метод теории алгоритмов / В. А. Шурыгин, 2009. - 194 с. - Текст : непосредственный.Мавликасова Г.Ч. Некоторые вопросы обобщенной вычислимости / Г. Ч. Мавликасова, 2000. - 28 с. - Текст : непосредственный.Нигматуллин Р.Г. Сложность булевых функций / Р. Г. Нигматуллин, 1991. - 239 c. - Текст : непосредственный.Еловикова Ю.А. Алгоритмы и анализ сложности : выставочные материалы / Ю. А. Еловикова, 2013. - 103 с. - Текст : непосредственный.An introduction to Kolmogorov complexity and its applications / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
| Лицевая сторона карточки | Обратная сторона карточки |
| |
| Лицевая сторона карточки | Обратная сторона карточки |
 |  |
Заказ фрагмента документа ₽