| Найдено документов - 45 | Найти похожие: "Индекс ББК" = 'В12 или В127 или Ш112я43' | Версия для печати |
Сортировать по:
1. Книга
Воронцов Владимир Александрович.
Фундаментальная система языка и ее использование в семантических исследованиях / В. А. Воронцов ; Институт истории АН РТ, Казанский институт евразийских и международных исследований, Институт международных отношений, истории и востоковедения - Казанский (Поволжский) федеральный университет. - Казань : Логос-Пресс, 2024. - 198 с. : ил. - Библиогр.: с. 181-183. - ISBN 978-5-00205-069-7 : 400.00.
Фундаментальная система языка и ее использование в семантических исследованиях / В. А. Воронцов ; Институт истории АН РТ, Казанский институт евразийских и международных исследований, Институт международных отношений, истории и востоковедения - Казанский (Поволжский) федеральный университет. - Казань : Логос-Пресс, 2024. - 198 с. : ил. - Библиогр.: с. 181-183. - ISBN 978-5-00205-069-7 : 400.00.
Авторы: Воронцов Владимир Александрович, Карасик В. И., Крейдлин Г. Е., Маслова В. А., Радбиль Т. Б., Рябцева Н. К., Тимерханов А. А.
Шифры: Ш100.6 - В 75
Ключевые слова: Лингвистика, Протоязык, Язык жестов, Математика для детей, Семантические исследования, Глоттогенез, Мифогенез, Мифологизированное сознание, Приобщение ребенка к математике, Лингвистика и математика
Экземпляры: Всего: 2, из них: к9-2
Подробнее
Аннотация: В книге под фундаментальной системой звукового языка подразумевается его метаязык, в качестве которого рассматривается естественный язык жестов, данный человеку от природы и понятный даже младенцам. Этот протоязык традиционно используется в ходе приобщения к звуковому языку, культуре, социальным нормам общежития. Использование метаязыка при осмыслении законов звукового языка порождает фундаментальную, содержательную компаративистику, позволяющую ответить на вопросы, на которые не способна ответить поверхностная, формальная компаративистика, игнорирующая жесты, наполняющие звуковые слова содержанием. Визуализация процесса наполнения звуковой оболочки содержанием обеспечивает понимание глубинной структуры и исконного смысла звуковых слов, высвечивает исконные связи между словами, позволяет обнаружить самых загадочных мифических и сказочных персонажей, изначальную среду обитания человека, исходный культурный слой, а также даёт возможность осмыслить мифы, отразившие начало человеческого бытия, глоттогенез, социогенез и культурогенез. Предназначается для студентов, аспирантов, преподавателей и широкого круга читателей, интересующихся проблемами глоттогенеза, мифогенеза и антропосоциокультурогенеза.
2. Книга
Целищев Виталий Валентинович.
Алгоритмический ум : Ментализм vs Механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, 2023. - 511 с. - (Библиотека аналитической философии). - ISBN 978-5-88373-771-7 : 700.00.
Алгоритмический ум : Ментализм vs Механизм в философии математики / В. В. Целищев. - Москва : Канон-плюс, 2023. - 511 с. - (Библиотека аналитической философии). - ISBN 978-5-88373-771-7 : 700.00.
Шифры: В12 - Ц 34
Ключевые слова: Математика, Философия математики, Философия науки, Математическая логика, Теория алгоритмов, Гедель Курт Фридрих, Вычислимость, Математические доказательства, Математическая интуиция, Математическая индукция, метод, Априоризм, Искусственный интеллект, Компьютерная математика, Мышление человека, Ментализм, Финитизм
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Книга "Алгоритмический ум" посвящена рассмотрению соотношения человеческого ума и компьютера на основе достижений математической логики и теории алгоритмов. Использование для этой цели знаменитых теорем Гёделя о неполноте арифметики, и их философского следствия в виде "дизъюнкции" Гёделя, приводит к формулировке двух полярных позиций, Ментализму и Механизму, в концептуальных рамках которых обсуждается роль понятий вычислимости, математического доказательства, интуиции и априоризма, субъективной и объективной математики, "знания" компьютера и принципов рефлексии в понимании природы машинного и человеческого интеллекта. Книга предназначена всем интересующимся проблемами сопоставления искусственного интеллекта и человеческого мышления с точки математической логики и философии математики.
3. Книга
Варьяш Александр Игнатьевич.
Логика и диалектика : Диалектическое учение о понятии, суждении и умозаключении. Индукция и индуктивный метод. Законы формальной логики. Общие законы диалектики. / А. И. Варьяш. - Изд. 2-е, стер. - Москва : ЛЕНАНД, 2023. - 516 с. - (Из наследия мировой философской мысли: логика) (Размышления о марксизме. К 150-летию со дня рождения А. А. Богданова (1873-1928) ; № 318). - ISBN 978-5-9710-5704-8 : 560.00.
Логика и диалектика : Диалектическое учение о понятии, суждении и умозаключении. Индукция и индуктивный метод. Законы формальной логики. Общие законы диалектики. / А. И. Варьяш. - Изд. 2-е, стер. - Москва : ЛЕНАНД, 2023. - 516 с. - (Из наследия мировой философской мысли: логика) (Размышления о марксизме. К 150-летию со дня рождения А. А. Богданова (1873-1928) ; № 318). - ISBN 978-5-9710-5704-8 : 560.00.
Шифры: Ю4 - В 18
Ключевые слова: Логика, Формальная логика, Диалектика, Индукция, Понятие (лог.), Суждение (лог.), Умозаключение (лог.), Вероятности
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Вниманию читателей предлагается фундаментальный труд венгерского и советского математика и логика Александра Игнатьевича (Шандора) Варьяша, посвященный рассмотрению формальной логики в диалектическом развертывании ее категорий и выявлению ее отношения к диалектике. Исследуются основные законы диалектики в их живом действии и выясняется их значение для понимания постоянно меняющейся действительности, развиваются проблемы методологии исследования (анализа, синтеза и доказательства). Желая сделать свой труд доступным для широкого круга читателей, автор стремился к популярному изложению, выделив математические рассуждения и операции в качестве примечаний или в особое приложение. Книга, по замыслу автора, предназначена для читателей, интересующихся марксистской методологией и желающих заниматься диалектической логикой. Она будет интересна и специалистам — философам, логикам, математикам, историкам и методологам науки.
4. Книга
Луридас Панос.
Алгоритмы: самый краткий и понятный курс : доступное изложение; вся основная информация в одной книге; графы, алгоритмы поиска, ранжирования и многое другое / Панос Луридас ; перевод с английского М. А. Райтмана. - Москва : Бомбора, 2022. - 188, [3] с. : ил. - (Библиотека MIT). - ISBN 978-5-04-115765-4 : 550.00.
Алгоритмы: самый краткий и понятный курс : доступное изложение; вся основная информация в одной книге; графы, алгоритмы поиска, ранжирования и многое другое / Панос Луридас ; перевод с английского М. А. Райтмана. - Москва : Бомбора, 2022. - 188, [3] с. : ил. - (Библиотека MIT). - ISBN 978-5-04-115765-4 : 550.00.
Авторы: Луридас Панос, Райтман Михаил Анатольевич
Шифры: В127 - Л 86
Ключевые слова: Математика, Математическая логика, Алгоритмы, Алгоритмы поиска, Теория алгоритмов, Алгоритмическая теория исчислений, Теория графов, Графы (мат.), Ранжирование
Экземпляры: Всего: 1, из них: к9-1
Подробнее
Аннотация: Если вам нужно разобраться в том, что из себя представляют алгоритмы и графы, как они работают и какими бывают, эта книга для вас. Ее автор, Панос Луридас, уже много лет использует алгоритмы при проектировании программного обеспечения, криптографии, машинном обучении, и является научным сотрудником Афинского университета экономики и бизнеса. Очень доступным даже для новичков языком он знакомит читателей с концепцией алгоритмов и принципами их работы - для чтения книги достаточно базового школьного образования.
5. Книга
Верещагин Николай Константинович.
Колмогоровская сложность и алгоритмическая случайность / Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр. - Москва : Московский центр непрерывного математического образования (МЦНМО), 2013. - 575 с. : ил., табл. - Библиогр.: с. 546-558 (194 назв.). - Указ. предм. и имен.: с. 559-570. - ISBN 978-5-4439-0212-8 : 460.00.
Колмогоровская сложность и алгоритмическая случайность / Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр. - Москва : Московский центр непрерывного математического образования (МЦНМО), 2013. - 575 с. : ил., табл. - Библиогр.: с. 546-558 (194 назв.). - Указ. предм. и имен.: с. 559-570. - ISBN 978-5-4439-0212-8 : 460.00.
Авторы: Верещагин Николай Константинович, Успенский, Владимир Андреевич, Шень, Александр
Шифры: В127 - В 31
Ключевые слова: Алгоритмическая сложность, Алгоритмическая случайность, Алгоритмическая теория вероятностей, Алгоритмическая теория информации, Алгоритмическая энтропия, Алгоритмы, Информация, Кибернетика, Колмогоровская сложность, Математика, Сложность алгоритмов, Случайность, Случайные процессы (мат.), Теория алгоритмов, Теория вероятностей, Теория информации, Энтропия
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Классическая (шенноновская) теория информации измеряет количество информации, заключённой в случайных величинах. В середине 1960-х годов А.Н.Колмогоров (и другие авторы) предложили измерять количество информации в конечных объектах с помощью теории алгоритмов, определив сложность объекта как минимальную длину программы, порождающей этот объект. Это определение послужило основой для алгоритмической теории информации, а также для алгоритмической теории вероятностей: объект считается случайным, если его сложность близка к максимальной. Предлагаемая книга содержит подробное изложение основных понятий алгоритмической теории информации и теории вероятностей, а также наиболее важных работ, выполненных в рамках колмогоровского семинара по сложности определений и сложности вычислений, основанного А.Н.Колмогоровым в начале 1980-х годов. Книга рассчитана на студентов и аспирантов математических факультетов и факультетов теоретической информатики.
6. Книга
Фалина Ирина Николаевна.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Машина Тьюринга : теоретический минимум, методические материалы, задачи / Фалина Ирина Николаевна, Усатюк Владимир Владимирович . - Москва : Чистые пруды , 2009. - 28, [2] с. : ил., табл. - (Библиотечка "Первого сентября") (Информатика ; вып. 29). - Библиогр.: с. 29 (3 назв.). - ISBN 978-5-9667-0612-8 : 25.00.
Авторы: Фалина Ирина Николаевна, Усатюк Владимир Владимирович
Шифры: В127 - Ф 19
Ключевые слова: Информатика в школе, Обработка информации, Машина Тьюринга, Задачи по информатике, Алгоритмы
Экземпляры: Всего: 1, из них: к3-1
Подробнее
Аннотация: Тема "Машина Тьюринга" может изучаться в 8-11 классах в рамках темы "Информационные процессы. Обработка информации", на факультативных занятиях, в системе дополнительного образования, например, в школах юных программистов.
7. Книга
Марченков Сергей Серафимович.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : ФИЗМАТЛИТ, 2007. - 62 с. - (Популярные лекции по математике). - ISBN 978-5-9221-0825-6 : 96.80.
Шифры: В127 - М30
Ключевые слова: Вычислимые функции, Рекурсивные функции
Экземпляры: Всего: 4, из них: к3-4
Подробнее
8. Документ
Драгалин Альберт Григорьевич.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Конструктивная теория доказательств и нестандартный анализ : [Сб. трудов, статей; Воспоминания коллег, учеников и друзей] / А. Г. Драгалин. - Москва : Едиториал УРСС, 2003. - 543 с. : портр. - Библиогр. тр. А. Г. Драгалина: с.520-525. - Имен., предм. указ.: с.526-543. - ISBN 5-354-00387-3 : 90.00.
Авторы: Драгалин Альберт Григорьевич, Минц Г. Е.
Шифры: В12 - Д72
Ключевые слова: Интуиционизм, Доказательства (мат.), Математический анализ, Математические доказательства, Теория доказательств, Конструктивная теория доказательств, Нестандартный анализ, Интуиционистская теория доказательств, Математическая логика, Интуиционистская логика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
9. Документ
Марченков Сергей Серафимович.
Элементарные рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Московский центр непрерывного математического образования, 2003. - 111,[1] с. - Библиогр.: с.109-111. - Предм. указ.: с.112. - ISBN 5-94057-098-4 : 18.00.
Элементарные рекурсивные функции / Марченков Сергей Серафимович; С. С. Марченков. - Москва : Московский центр непрерывного математического образования, 2003. - 111,[1] с. - Библиогр.: с.109-111. - Предм. указ.: с.112. - ISBN 5-94057-098-4 : 18.00.
Шифры: В127 - М30
Ключевые слова: Функции, Элементарные функции, Рекурсивные функции, Вычислимые функции
Экземпляры: Всего: 2, из них: к3-2
Подробнее
10. Документ
Ramsey Frank Plumpton (1903-1930).
The foundations of mathematics and other logical essays / Ramsey Frank Plumpton; by Frank Plumpton Ramsey ; ed. by R. B. Braithwaite ; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - XVIII, 292 p. : ill. ; 23 cm. - (The International library of philosophy.) ( ; [vol.] 5). - Bibliogr.: p. XV-XVI. - ISBN 0-415-22575-2 : 5038.00.
The foundations of mathematics and other logical essays / Ramsey Frank Plumpton; by Frank Plumpton Ramsey ; ed. by R. B. Braithwaite ; pref. by G. E. Moore. - London ; New York : Routledge, 2002. - XVIII, 292 p. : ill. ; 23 cm. - (The International library of philosophy.) ( ; [vol.] 5). - Bibliogr.: p. XV-XVI. - ISBN 0-415-22575-2 : 5038.00.
Авторы: Ramsey Frank Plumpton, Braithwaite Richard Bevan, Moore G. E.
Шифры: В12 - R19
Ключевые слова: Математика, Основания математики, Математическая логика, Оксфордско-Российский фонд
Экземпляры: Всего: 1, из них: к9-1
Подробнее
11. Документ
Соар Роберт И.
Вычислимо перечислимые множества и степени : Изуч. вычислимых функций и вычислимо перечислимых множеств : Пер. с англ. / Соар Роберт И.; Под ред. М. М. Арсланова. - Казань : Казан. мат. о-во, 2000. - 576 с. - Библиогр.: с.510-548. - Предм. указ.: с.562-576. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 38.00.
Вычислимо перечислимые множества и степени : Изуч. вычислимых функций и вычислимо перечислимых множеств : Пер. с англ. / Соар Роберт И.; Под ред. М. М. Арсланова. - Казань : Казан. мат. о-во, 2000. - 576 с. - Библиогр.: с.510-548. - Предм. указ.: с.562-576. - ISBN 5-900975-22-3. - ISBN 3-540-15299-7. - ISBN 0-387-15299-7 : 38.00.
Авторы: Соар Роберт И., Арсланов М. М.
Шифры: В127 - С54
Ключевые слова: Множества, Рекурсивно перечислимые степени, Теория вычислимости, Вычислимо перечислимые степени, Степени, Рекурсивные функции, Вычислимые функции, Функции, Рекурсивно перечислимые множества, Вычислимо перечислимые множетва
Экземпляры: Всего: 1, из них: к3-1
Подробнее
12. Документ
Конструкции в алгебре и логике : сб. науч. тр. / Твер. гос. ун-т ; [редкол.: Ю. М. Горчаков (отв. ред.) и др.]. - Тверь : Тверской государственный университет, 1990. - 132 с. : ил. - 8.25.
Шифры: В12 - К65
Ключевые слова: Логика, Математическая логика, Алгебра, Кибернетика, Математическая кибернетика, Конструкции в алгебре, Конструкции в логике, Труды Тверского государственного университета
Экземпляры: Всего: 6, из них: к3-6
Подробнее
13. Документ
Дюбуа Дидье.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Теория возможностей : Приложения к представлению знаний в информатике / Дюбуа Дидье; Д. Дюбуа, А. Прад ; пер. с фр. В. Б. Тарасова ; под ред. С. А. Орловского. - Москва : Радио и связь, 1990. - 286,[1] с. : ил. ; 22 см. - Перевод изд.: Theorie des possibilites / Didier Dubois, Henri Prade (Paris, 1988). - Библиогр. в конце глав. - ISBN 5-256-00184-1 (в пер.) : 2.40.
Авторы: Дюбуа Дидье, Прад Анри, Орловский С. А., Тарасов В. Б.
Шифры: В12 - Д95
Ключевые слова: Представление знаний, Теория возможностей, Возможности, Информатика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
14. Книга
Алгебро-логические конструкции : сборник научных трудов / Калинин. гос. ун-т ; [отв. ред. Ю. М. Горчаков]. - Калинин : Калининский государственный университет, 1989. - 121 с. : ил. ; 20 см. - Библиогр. в конце ст. - 1.00.
Шифры: В12 - А45
Ключевые слова: Сборники
Экземпляры: Всего: 5, из них: к3-5
Подробнее
15. Документ
Сухарев Алексей Григорьевич.
Минимаксные алгоритмы в задачах численного анализа / Сухарев Алексей Григорьевич; А. Г. Сухарев. - Москва : Наука, 1989. - 299,[4] с. : ил. ; 21 см. - (Оптимизация и исслед. операций). - Библиогр.: с. 270-294 (468 назв.). - Предм. указ.: с. 295-299. - ISBN 5-02-013942-4 (в пер.) : 3.70.
Минимаксные алгоритмы в задачах численного анализа / Сухарев Алексей Григорьевич; А. Г. Сухарев. - Москва : Наука, 1989. - 299,[4] с. : ил. ; 21 см. - (Оптимизация и исслед. операций). - Библиогр.: с. 270-294 (468 назв.). - Предм. указ.: с. 295-299. - ISBN 5-02-013942-4 (в пер.) : 3.70.
Шифры: В127 - С91
Экземпляры: Всего: 2, из них: к3-2
Подробнее
16. Книга
Осуга Сэцуо.
Обработка знаний / Осуга Сэцуо; пер. с яп. В. И. Этова. - Москва : Мир, 1989. - 292 с. : ил. ; 20 см. - На обл. авт. не указан. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : 1.10.
Обработка знаний / Осуга Сэцуо; пер. с яп. В. И. Этова. - Москва : Мир, 1989. - 292 с. : ил. ; 20 см. - На обл. авт. не указан. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : 1.10.
Авторы: Осуга Сэцуо, Этов Владимир Ильич
Шифры: З81 - О-79
Ключевые слова: Кибернетика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
17. Документ
Ганов Валерий Александрович.
Общая теория вычислений с оракулами / Ганов Валерий Александрович; В. А. Ганов, Н. В. Белякин ; [под ред. С. С. Гончарова] ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Институт математики, 1989. - 136 с. : ил. - Библиогр.: с. 135. - 0.80.
Общая теория вычислений с оракулами / Ганов Валерий Александрович; В. А. Ганов, Н. В. Белякин ; [под ред. С. С. Гончарова] ; АН СССР, Сиб. отд-ние, Ин-т математики. - Новосибирск : Институт математики, 1989. - 136 с. : ил. - Библиогр.: с. 135. - 0.80.
Авторы: Ганов Валерий Александрович, Белякин Николай Васильевич, Гончаров Сергей Севостьянович
Шифры: В127 - Г19
Ключевые слова: Математика
Экземпляры: Всего: 1, из них: к3-1
Подробнее
18. Документ
Макаренков Юрий Алексеевич.
Что такое алгоритм? : беседы со старшеклассником / Макаренков Юрий Алексеевич; Ю. А. Макаренков, А. А. Столяр. - Минск : Народная асвета, 1989. - 125,[2] с. : ил. ; 22 см. - ISBN 5-341-00162-1 : 0.30.
Что такое алгоритм? : беседы со старшеклассником / Макаренков Юрий Алексеевич; Ю. А. Макаренков, А. А. Столяр. - Минск : Народная асвета, 1989. - 125,[2] с. : ил. ; 22 см. - ISBN 5-341-00162-1 : 0.30.
Авторы: Макаренков Юрий Алексеевич, Столяр Абрам Аронович
Шифры: В127 - М15
Ключевые слова: Основания математики, Математическая логика
Экземпляры: Всего: 2, из них: к3-2
Подробнее
19. Документ
Трауб Джо Фред.
Информация, неопределенность, сложность / Трауб Джо Фред; Дж. Трауб, Г. Васильковский, Х. Вожьняковский; Пер. с англ. О. Р. Чуян; Под ред. А. Г. Сухарева. - Москва : Мир, 1988. - 183 с. : ил. ; 22 см. - Перед вып. дан. 1-й авт.: Джозеф Фредрик Трауб. - Перевод изд.: Information, uncertainty, complexity / Joseph Frederick Traub, G. W. Wasilkowski, Henryk Wozniakowski (London etc.). - Библиогр.: с. 173-175. - Указ. имен. и предм.: с. 176-181. - ISBN 5-03-000991-4 : 1.50.
Информация, неопределенность, сложность / Трауб Джо Фред; Дж. Трауб, Г. Васильковский, Х. Вожьняковский; Пер. с англ. О. Р. Чуян; Под ред. А. Г. Сухарева. - Москва : Мир, 1988. - 183 с. : ил. ; 22 см. - Перед вып. дан. 1-й авт.: Джозеф Фредрик Трауб. - Перевод изд.: Information, uncertainty, complexity / Joseph Frederick Traub, G. W. Wasilkowski, Henryk Wozniakowski (London etc.). - Библиогр.: с. 173-175. - Указ. имен. и предм.: с. 176-181. - ISBN 5-03-000991-4 : 1.50.
Авторы: Трауб Джо Фред, Васильковский Г. В., Вожьняковский Хенрик, Сухарев А. Г., Чуян О. Р.
Шифры: В127 - Т65
Экземпляры: Всего: 1, из них: к3-1
Подробнее
20. Документ
Арсланов Марат Мирзаевич.
Локальная теория степеней неразрешимости и ? 2- -множества / Арсланов Марат Мирзаевич; М. М. Арсланов. - Казань : Казанский государственный университет, 1987. - 138,[1] с. : ил. - Библиогр.: с.131-137. - 0.40.
Локальная теория степеней неразрешимости и ? 2- -множества / Арсланов Марат Мирзаевич; М. М. Арсланов. - Казань : Казанский государственный университет, 1987. - 138,[1] с. : ил. - Библиогр.: с.131-137. - 0.40.
Шифры: В127 - А85
Ключевые слова: Теория множеств, Рекурсивные функции
Экземпляры: Всего: 1, из них: к3-1
Подробнее