| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Электронный каталог - результаты поиска

Виды поиска

Область поиска
в найденном
В текущей базе данных найдено документов :41
 В других БД по вашему запросу найдено:ЭБС "ЛАНЬ" (2)Сводный каталог библиотек (СГУ, СГТУ, ЦБС) (35)
Формат представления найденных документов:
полный информационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>KL=алгоритмов теория<.>)
Общее количество найденных документов : 41
Показаны документы с 1 по 20
 1-20    21-40   41-41 
1.

Вид документа : Однотомное издание
Шифр издания : 539752
51.01(075)/Е 804
Автор(ы) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Заглавие : Математическая логика : учеб. пособие . -5-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2005
Колич.характеристики :336 с
Серия: Учебники для вузов. Специальная литература
Примечания : Предм. указ.: с. 335-336
ISBN, Цена 5-8114-0533-2: 190.43 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--доказательств теория--исчисления высказываний--исчисления предикатов--алгоритмов теория
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(2)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(2)
Найти похожие

2.

Вид документа : Однотомное издание
Шифр издания : 990068
Автор(ы) : Матрос, Дмитрий Шаевич, Поднебесова, Галина Борисовна
Заглавие : Теория алгоритмов : учебник
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2008
Колич.характеристики :202, [6] с.: рис., табл.
Серия: Педагогическое образование
Примечания : Библиогр.: с. 196-197. - Предм. указ.: с. 198-200. - Рекомендовано УМО по специальностям пед. образования в качестве учеб. для студентов вузов, обучающихся по специальности 050202. 65 (030100) -информатика
ISBN (в пер.), Цена 978-5-94774-226-8: 173.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--np-полные задачи
Экземпляры : всего : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(1)
Найти похожие

3.

Вид документа : Однотомное издание
Шифр издания : 052783
Автор(ы) : Кузнецов, Олег Петрович
Заглавие : Дискретная математика для инженера . -5-е изд., стер.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2007
Колич.характеристики :394, [6] с.: рис., табл.
Серия: Учебник для вузов. Специальная литература
Примечания : Библиогр.: с. 388-389. - Предм. указ.: с. 390-393
ISBN (в пер.), Цена 978-5-8114-0570-1: 360.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--множества--алгебра логики--графы--алгоритмов теория--формальные системы--автоматы
Экземпляры : всего : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(2), ОУОЕН(5)
Свободны : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(2), ОУОЕН(5)
Найти похожие

4.

Вид документа : Однотомное издание
Шифр издания : 645909
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Основы теории алгоритмов : лекции для студентов, изучающих информатику и информ. технологии
Выходные данные : Саратов: Издательский центр "Наука", 2008
Колич.характеристики :96, [1] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Примечания : Библиогр.: с. 92-94 (72 назв.)
ISBN, Цена 978-5-91272-541-8: 85.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--вычислимые функции--рекурсивные функции--перечислимость
Аннотация: Курс "Теория алгоритмов" является непосредственным продолжением курса математической логики, учебником по которому служит книга В. И. Игошин. Математическая логика и теория алгоритмов. - М.: Издательский центр "Академия", 2004, 2008. - 448 с. В предлагаемом учебном пособии более детально и подробно, нежели в указанном учебнике, изложены вопросы, относящиеся к теории алгоритмов. С большим количеством примеров рассмотрены три формализации алгоритмов - машины Тьюринга, рекурсивные функции, алгоритмы Маркова, и доказана их эквивалентность. Затем рассматривается начало общей теории вычислимости - нумерация алгоритмов и вычислимых функций, метод диагонализации, алгоритмическая теория множеств (разрешимость и перечислимость множеств), алгоритмически неразрешимые массовые проблемы. В качестве сборника задач по курсу "Теория алгоритмов" предлагается использовать книгу В. И. Игошин. Задачи и упражнения по математической логике и теории алгоритмов. - М.: Издательский центр "Академия", 2005, 2006, 2007. - 304 с. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Прикладная информатика" и изучающих информатику и информационные технологии.
Экземпляры : всего : ОХФ(2), ОУОЕН(1)
Свободны : ОХФ(2), ОУОЕН(1)
Найти похожие

5.

Вид документа : Однотомное издание
Шифр издания : 615376
Автор(ы) : Судоплатов, Сергей Владимирович, Овчинникова, Елена Викторовна
Заглавие : Математическая логика и теория алгоритмов : учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
Выходные данные : Новосибирск: Изд-во НГТУ, 2008
Колич.характеристики :223, [1] с
Коллективы : Новосиб. гос. техн. ун-т
Серия: Высшее образование
Примечания : Библиогр.: с. 212-214. - Рекомендуется в качестве учеб. для студентов, обучающихся по направлениям 654600 Информатика и вычислительная техника, 654700 Информационные системы, 540200 Физико-математическое образование
ISBN, Цена 978-5-16-001975-8 (ИНФРА-М) (в пер.): 154.00 р.
ISBN, Цена 978-5-7782-0458-4 (НГТУ): Б.ц.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--исчисления высказываний--исчисления предикатов--логика предикатов
Экземпляры :ОУОЕН(1)
Свободны : ОУОЕН(1)
Найти похожие

6.

Вид документа : Однотомное издание
Шифр издания : 344218
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Задачи и упражнения по математической логике и теории алгоритмов : учеб. пособие . -3-е изд., стер.
Выходные данные : Москва: Академия, 2007
Колич.характеристики :302, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 301 (22 назв.). - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 032100 "Математика"
ISBN (в пер.), Цена 5-7695-3728-0: 229.90 р.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие

7.

Вид документа : Однотомное издание
Шифр издания : 518376
51.01(075)/У 773
Автор(ы) : Успенский, Владимир Андреевич, Верещагин, Николай Константинович, Плиско, Валерий Егорович
Заглавие : Вводный курс математической логики : учеб. пособие . -2-е изд.
Выходные данные : Москва: ФИЗМАТЛИТ, 2007
Колич.характеристики :125, [3] с
Примечания : Библиогр.: с. 122 (15 назв.). - Предм. указ.: с. 123-125. - На обл. авт. не указан
ISBN, Цена 978-5-9221-0278-0: 106.20 р.
УДК : 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--множеств теория--алгоритмов теория--доказательств теория--геделя теорема
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие

8.

Вид документа : Однотомное издание
Шифр издания : 252353
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Математическая логика и теория алгоритмов : учеб. пособие . -2-е изд., стер.
Выходные данные : Москва: Академия, 2008
Колич.характеристики :446, [2] с
Серия: Высшее профессиональное образование. Педагогические специальности
Примечания : Библиогр.: с. 435-442. - Допущено М-вом образования Рос. Федерации в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201 "Математика"
ISBN (в пер.), Цена 978-5-7695-4593-1: 320.10 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--исчисления высказываний--аксиоматические теории
Экземпляры : всего 2: ОХФ-ЧЗ-4(1), ОУОЕН(47)
Свободны : ОХФ-ЧЗ-4(1), ОУОЕН(47)
Найти похожие

9.

Вид документа : Однотомное издание
Шифр издания : 385977
Автор(ы) : Лавров, Игорь Андреевич, Максимова, Лариса Львовна
Заглавие : Задачи по теории множеств, математической логике и теории алгоритмов : [учеб. пособие] . -5-е изд., испр.
Выходные данные : Москва: ФИЗМАТЛИТ, 2006
Колич.характеристики :255, [1] с
Примечания : Библиогр.: с. 248-249 (56 назв.)
ISBN, Цена 5-9221-0026-2: 221.76 р.
УДК : 510(076.1)
Предметные рубрики: математика-- теория множеств-- математическая логика-- теория алгоритмов
Ключевые слова (''Своб.индексиров.''): множеств теория--алгоритмов теория--математическая логика
Экземпляры : всего : ОХФ-ЧЗ-3(1), ОУОЕН(1)
Свободны : ОХФ-ЧЗ-3(1), ОУОЕН(1)
Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 280394
Автор(ы) : Андреева, Елена Владимировна, Босова, Людмила Леонидовна, Фалина, Ирина Николаевна
Заглавие : Математические основы информатики : учеб. пособие . -2-е изд., испр.
Выходные данные : Москва: БИНОМ. Лаб. знаний, 2007
Колич.характеристики :328 с.: рис.
Серия: Элективный курс
Примечания : Предм. указ.: с. 320-328. - Рекомендовано науч.-метод. советом по информатике при М-ве образования и науки РФ в качестве учеб. пособия для электив. курсов по информатике для учащихся 10-11 кл. общеобразоват. учреждений
ISBN (в пер.), Цена 978-5-94774-658-7: 115.00 р.
УДК : 004(072.3)
Предметные рубрики: вычислительная техника-- информационные технологии
Ключевые слова (''Своб.индексиров.''): информатика--системы счисления--алгебра логики--алгоритмов теория--вычислительная геометрия--компьютерная графика--компьютерная алгебра
Экземпляры : всего : ОУОЕН(4), ОХФ(1), ОХФ-ЧЗ-4(1)
Свободны : ОУОЕН(4), ОХФ(1), ОХФ-ЧЗ-4(1)
Найти похожие

11.

Вид документа : Однотомное издание
Шифр издания : 343416
Автор(ы) : Гринченков, Дмитрий Валерьевич, Потоцкий, Сергей Иванович
Заглавие : Математическая логика и теория алгоритмов для программистов : учеб. пособие
Выходные данные : Москва: КНОРУС, 2010
Колич.характеристики :206, [2] с
Примечания : Библиогр.: с. 205-206 (24 назв.). - Допущено М-вом образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"
ISBN (в пер.), Цена 978-5-406-00120-2: 140.00 р.
УДК : 510.5(075.8) + 510.6(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булева алгебра--множеств теория--нечеткие множества--логическое программирование--пролог--языки программирования
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие

12.

Вид документа : Многотомное издание
Шифр издания : 519.1(075.8)/М 230
Автор(ы) : Мангушева, Ирина Павловна
Заглавие : Лекции по дискретной математике: учебное пособие/ И. П. Мангушева, П. М. Хрусталев ; Сарат. гос. ун-т им. Н. Г. Чернышевского. - 2-е изд., испр. и доп. Ч. 2: Графы. Кодирование. Ограниченно детерминированные функции и конечные автоматы. Элементы теории алгоритмов
Выходные данные : Саратов: Научная книга, 2007
Колич.характеристики :95, [1] с
Коллективы : Сарат. гос. ун-т им. Н. Г. Чернышевского
Серия:
ISBN, Цена 978-5-9758-0505-8: 150.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--графов теория--конечные автоматы--алгоритмов теория--детерминированные функции--кодирование
Экземпляры :ОУОЕН(1)
Свободны : ОУОЕН(1)
Найти похожие

13.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.32)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Издательский центр "Академия", 2013
Колич.характеристики :315, [5] с
Серия: Среднее профессиональное образование. Математика и естественно-научные дисциплины
Примечания : Библиогр.: с. 309-314 (107 назв.). - Рекомендовано Федер. гос. автоном. учреждением "Федеральный институт развития образования" (ФГАУ "ФИРО") в качестве учеб. пособия для использования в учеб. процессе образоват. учреждений, реализующих прогр. сред. проф. образования по специальности 230115 "Программирование в компьютерных системах", учеб. дисциплина "Теория алгоритмов"
ISBN (в пер.), Цена 978-5-7695-9362-8: 310.00 р.
УДК : 510.5(075.32)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы
Экземпляры :ОХФ-ЧЗ-4(1)
Свободны : ОХФ-ЧЗ-4(1)
Найти похожие

14.

Вид документа : Однотомное издание
Шифр издания : 519.1(075.8)/М 215
Автор(ы) : Мальцев, Иван Анатольевич
Заглавие : Дискретная математика : учебное пособие . -2-е изд., испр.
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2011
Колич.характеристики :287, [15] с.: ил.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 278-279 (33 назв.). - Предм. указ.: с. 280-287
ISBN (в пер.), Цена 978-5-8114-1010-1: 720.00 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--комбинаторика--алгоритмов теория--графы--алгебраические системы--математическая логика
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

15.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)/Г 55
Автор(ы) : Глухов, Михаил Михайлович, Шишков, Алексей Борисович
Заглавие : Математическая логика. Дискретные функции. Теория алгоритмов : учебное пособие
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2012
Колич.характеристики :405, [9] с.: ил., табл.
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 398-401 (76 назв.). - Рекомендовано УМО вузов России по образованию в обл. информац. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по направлению подгот. (специальности) 090301 - "Компьютерная безопасность" и 090303 - "Информационная безопасность автоматизированных систем"
ISBN (в пер.), Цена 978-5-8114-1344-7: 767.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--дискретные функции
Экземпляры : всего : ОХФ(2), ОУОЕН(2)
Свободны : ОХФ(2), ОУОЕН(2)
Найти похожие

16.

Вид документа : Однотомное издание
Шифр издания : 510.5(076.1)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Сборник задач по математической логике и теории алгоритмов : учебное пособие
Выходные данные : Москва: КУРС: ИНФРА-М, 2017
Колич.характеристики :392 с.: ил., табл.
Серия: Бакалавриат
Примечания : Библиогр.: с. 388-390 (50 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по направлению 44.03.01 "Педагогическое образование" (квалификация Бакалавр)
ISBN, Цена 978-5-906818-08-9 (в пер.): 1078.00 р.
ISBN, Цена 978-5-16-011429-3: Б.ц.
УДК : 510.5(076.1) + 510.6(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--булевы функции--логика предикатов--логика высказываний --исчисления высказываний
Экземпляры : всего : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Свободны : ОХФ(1), ОХФ-ЧЗ-4(1), ОУОЕН(78)
Найти похожие

17.

Вид документа : Однотомное издание
Шифр издания : 982878
Автор(ы) : Крупский, Владимир Николаевич, Плиско, Валерий Егорович
Заглавие : Теория алгоритмов : учеб. пособие для студентов вузов
Выходные данные : Москва: Изд. центр "Академия", 2009
Колич.характеристики :205, [3] с
Серия: Университетский учебник .
    Прикладная математика и информатика
Примечания : Библиогр.: с. 203 (19 назв.). - Допущено Науч.-метод. советом по математике М-ва образования и науки РФ в качестве учеб. пособия для студентов вузов, обучающихся по направлениям "Информатика и вычислительная техника", "Информационные системы и технология"
ISBN (в пер.), Цена 978-5-7695-5293-9: 365.20, 320, р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность
Экземпляры : всего : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(7), ОУООПН-ЧЗ 13(1), ОУООПН-АБ 3(4)
Свободны : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(7), ОУООПН-ЧЗ 13(1), ОУООПН-АБ 3(4)
Найти похожие

18.

Вид документа : Однотомное издание
Шифр издания : 142905
Автор(ы) : Глухов, Михаил Михайлович, Козлитин, Олег Алексеевич, Шапошников, Виталий Алексеевич, Шишков, Алексей Борисович
Заглавие : Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов : учеб. пособие
Выходные данные : Санкт-Петербург; Москва; Краснодар: Лань, 2008
Колич.характеристики :110, [2] с
Серия: Учебники для вузов. Специальная литература
Примечания : Библиогр.: с. 109-110 (19 назв.). - Рекомендовано Учеб.-метод. об-нием по образованию в области информ. безопасности в качестве учеб. пособия для студентов вузов, обучающихся по специальности в обл. 090100 - "Информационная безопасность"
ISBN (в пер.), Цена 978-5-8114-0853-5: 150.00, 175.12, р.
УДК : 510.5(076.1)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): математическая логика--алгоритмов теория--дискретные функции
Экземпляры : всего : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(18)
Свободны : ОХФ(2), ОХФ-ЧЗ-4(1), ОУОЕН(18)
Найти похожие

19.

Вид документа : Однотомное издание
Шифр издания : 972006
Автор(ы) : Тишин, Владимир Викторович
Заглавие : Дискретная математика в примерах и задачах : учеб. пособие
Выходные данные : Санкт-Петербург: БХВ-Петербург, 2008
Колич.характеристики :335, [13] с
Примечания : Библиогр.: с. 337 (12 назв.). - Допущено учеб.-метод. советом по приклад. математике и информатике УМО по клас. унив. образованию в качестве учеб. пособия для студентов вузов, обучающихся по специальности и направлению "Прикладная математика и информатика" и направлению "Информационные технологии"
ISBN (в пер.), Цена 978-5-9775-0232-0: 126.70 р.
УДК : 519.1(075.8)
Предметные рубрики: математика-- комбинаторный анализ-- теория графов
Ключевые слова (''Своб.индексиров.''): дискретная математика--множеств теория--булевы функции--алгоритмов теория--комбинаторика--конечные автоматы--предикаты
Экземпляры : всего : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(1), ОУОЕН(28)
Свободны : ОХФ-ЧЗ-3(1), ОХФ-ЧЗ-4(1), ОУОЕН(28)
Найти похожие

20.

Вид документа : Однотомное издание
Шифр издания : 510.5(075.8)/И 269
Автор(ы) : Игошин, Владимир Иванович
Заглавие : Теория алгоритмов : учебное пособие
Выходные данные : Москва: Инфра-М, 2012
Колич.характеристики :317, [3] с
Серия: Высшее образование
Примечания : Библиогр.: с. 306-311 (110 назв.). - Рекомендовано УМО по образованию в обл. подгот. пед. кадров в качестве учеб. пособия для студентов вузов, обучающихся по специальности 050201.65 - математика
ISBN (в пер.), Цена 978-5-16-005205-2: 231.00 р.
УДК : 510.5(075.8)
Предметные рубрики: математика-- математическая логика
Ключевые слова (''Своб.индексиров.''): алгоритмов теория--тьюринга машина--рекурсивные функции--вычислительная сложность--массовые проблемы--алгоритмические проблемы--гильберта десятая проблема--геделя теорема--тарского теорема--разрешимые множества--перечислимые множества--маркова нормальные алгоритмы
Экземпляры :ОХФ(1)
Свободны : ОХФ(1)
Найти похожие

 1-20    21-40   41-41 
 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)