Рекурсивно перечислимые множества и сводимости табличного типа
| Yazar: | Дегтев А. Н. Александр Николаевич |
|---|---|
| Dil: | Rusça |
| Baskı/Yayın Bilgisi: |
Москва, Наука, 1998
|
| Konular: | |
| Materyal Türü: | Kitap |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=8925 |
Benzer Materyaller
Рекурсивно перечислимые множества и степени неразрешимости
Yazar:: Арсланов М. М. Марат Мирзаевич
Baskı/Yayın Bilgisi: (Казань, Изд-во Казанского ун-та, 1986)
Yazar:: Арсланов М. М. Марат Мирзаевич
Baskı/Yayın Bilgisi: (Казань, Изд-во Казанского ун-та, 1986)
Перечислимые множества: учебное пособие
Yazar:: Дегтев А. Н. Александр Николаевич
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во НГУ, 1980)
Yazar:: Дегтев А. Н. Александр Николаевич
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во НГУ, 1980)
Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
Yazar:: Шенфилд Дж. Джозеф
Baskı/Yayın Bilgisi: (Москва, Наука, 1977)
Yazar:: Шенфилд Дж. Джозеф
Baskı/Yayın Bilgisi: (Москва, Наука, 1977)
Конструктивные модели
Yazar:: Гончаров С. С. Сергей Савостьянович
Baskı/Yayın Bilgisi: (Новосибирск, Научная книга, 1999)
Yazar:: Гончаров С. С. Сергей Савостьянович
Baskı/Yayın Bilgisi: (Новосибирск, Научная книга, 1999)
Математическая логика: учебное пособие
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2004)
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2004)
Математическая логика: учебное пособие для вузов
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)
Математическая логика: учебное пособие
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2005)
Алгоритмы и рекурсивные функции
Yazar:: Мальцев А. И. Анатолий Иванович
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)
Yazar:: Мальцев А. И. Анатолий Иванович
Baskı/Yayın Bilgisi: (Москва, Наука, 1986)
Алгебра и логика: сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Ин-т математики СО АН СССР, 1991)
Baskı/Yayın Bilgisi: (Новосибирск, Ин-т математики СО АН СССР, 1991)
Алгебра и логика: сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Алгебра и логика: сборник научных трудов
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во ИМ СО РАН, 1991)
Индексные множества и степени некоторых классов рекурсивно перечислимых множеств
Yazar:: Каллибеков С. Сейтиняз
Baskı/Yayın Bilgisi: (Ташкент, Фан, 1983)
Yazar:: Каллибеков С. Сейтиняз
Baskı/Yayın Bilgisi: (Ташкент, Фан, 1983)
Вычислимо перечислимые множества и степени: пер. с англ.
Yazar:: Соар Р. И. Роберт И.
Baskı/Yayın Bilgisi: (Казань, Казанское математическое общество, 2000)
Yazar:: Соар Р. И. Роберт И.
Baskı/Yayın Bilgisi: (Казань, Казанское математическое общество, 2000)
Множества. Логика. Аксиоматические теории: пер. с англ.
Yazar:: Столл Р. Р. Роберт Р.
Baskı/Yayın Bilgisi: (Москва, Просвещение, 1968)
Yazar:: Столл Р. Р. Роберт Р.
Baskı/Yayın Bilgisi: (Москва, Просвещение, 1968)
Теория алгоритмов: учебное пособие для вузов
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2015)
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Инфра-М, 2015)
Дискретная математика учебное пособие
Yazar:: Бекарева Н. Д.
Baskı/Yayın Bilgisi: (Новосибирск, НГТУ, 2019)
Yazar:: Бекарева Н. Д.
Baskı/Yayın Bilgisi: (Новосибирск, НГТУ, 2019)
Математическая логика и теория алгоритмов учебное пособие
Yazar:: Гамова А. Н.
Baskı/Yayın Bilgisi: (Саратов, СГУ, 2020)
Yazar:: Гамова А. Н.
Baskı/Yayın Bilgisi: (Саратов, СГУ, 2020)
Математическая логика и теория алгоритмов учебное пособие
Yazar:: Неклюдова В. Л.
Baskı/Yayın Bilgisi: (Новосибирск, СГУГиТ, 2022)
Yazar:: Неклюдова В. Л.
Baskı/Yayın Bilgisi: (Новосибирск, СГУГиТ, 2022)
Вводный курс математической логики: учебное пособие
Yazar:: Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)
Yazar:: Успенский В. А. Владимир Андреевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)
Логико-алгебраические основы дискретной математики учебное пособие для вузов
Yazar:: Розен В. В.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2023)
Yazar:: Розен В. В.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2023)
Основания математики. Логические исчисления и формализация арифметики.
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1979)
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1979)
Основания математики. Логические исчисления и формализация арифметики.
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1982)
Yazar:: Гильберт Д. Давид
Baskı/Yayın Bilgisi: (Москва, Наука, 1982)
Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Набебин А. А. Алексей Александрович
Baskı/Yayın Bilgisi: (СПб., Научный мир, 2008)
Yazar:: Набебин А. А. Алексей Александрович
Baskı/Yayın Bilgisi: (СПб., Научный мир, 2008)
Решение задач математической логики с использованием элементарной алгебры
Yazar:: Коваленко С. И. Сергей Иванович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2004)
Yazar:: Коваленко С. И. Сергей Иванович
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2004)
Дискретная математика: учебник для вузов
Yazar:: Соболева Т. С. Татьяна Сергеевна
Baskı/Yayın Bilgisi: (Москва, Академия, 2006)
Yazar:: Соболева Т. С. Татьяна Сергеевна
Baskı/Yayın Bilgisi: (Москва, Академия, 2006)
Логика высказываний и булевы алгебры учебное пособие
Yazar:: Гринченков Д. В.
Baskı/Yayın Bilgisi: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Yazar:: Гринченков Д. В.
Baskı/Yayın Bilgisi: (Новочеркасск, ЮРГПУ (НПИ), 2022)
Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Крупский В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Москва, Академия, 2013)
Yazar:: Крупский В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Москва, Академия, 2013)
Введение в метаматематику: пер. с англ.
Yazar:: Клини С. К. Стефен К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1957)
Yazar:: Клини С. К. Стефен К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1957)
Дискретная математика. Множества учебно-методическое пособие
Yazar:: Бычкова Т. В.
Baskı/Yayın Bilgisi: (Брянск, Брянский ГАУ, 2021)
Yazar:: Бычкова Т. В.
Baskı/Yayın Bilgisi: (Брянск, Брянский ГАУ, 2021)
Основы теории алгоритмов и рекурсивных функций
Yazar:: Людковский С. В.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2022)
Yazar:: Людковский С. В.
Baskı/Yayın Bilgisi: (Москва, РТУ МИРЭА, 2022)
Основы высшей математики: учебное пособие
Yazar:: Лурье Л. И.
Baskı/Yayın Bilgisi: (Москва, Дашков и К, 2003)
Yazar:: Лурье Л. И.
Baskı/Yayın Bilgisi: (Москва, Дашков и К, 2003)
Теория формальных систем: пер. с англ.
Yazar:: Смальян Р. Раймонд
Baskı/Yayın Bilgisi: (Москва, Наука, 1981)
Yazar:: Смальян Р. Раймонд
Baskı/Yayın Bilgisi: (Москва, Наука, 1981)
Теория алгоритмов: учебное пособие для вузов
Yazar:: Фалевич Б. Я. Борис Яковлевич
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 2004)
Yazar:: Фалевич Б. Я. Борис Яковлевич
Baskı/Yayın Bilgisi: (Москва, Машиностроение, 2004)
Дискретная математика в примерах и задачах учебное пособие
Yazar:: Моисеенкова Т. В.
Baskı/Yayın Bilgisi: (Красноярск, СФУ, 2018)
Yazar:: Моисеенкова Т. В.
Baskı/Yayın Bilgisi: (Красноярск, СФУ, 2018)
Математическая логика и теория алгоритмов: учебное пособие
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Academia, 2004)
Yazar:: Игошин В. И. Владимир Иванович
Baskı/Yayın Bilgisi: (Москва, Academia, 2004)
Предельные множества
Yazar:: Носиро К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1963)
Yazar:: Носиро К.
Baskı/Yayın Bilgisi: (Москва, Изд-во иностранной литературы, 1963)
Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)
Занимательная математика. Множества и отношения
Yazar:: Дунаев В. В. Вадим Вячеславович
Baskı/Yayın Bilgisi: (СПб., БХВ-Петербург, 2008)
Yazar:: Дунаев В. В. Вадим Вячеславович
Baskı/Yayın Bilgisi: (СПб., БХВ-Петербург, 2008)
Справочник по математике. Основные понятия и формулы: [справочное пособие]
Yazar:: Майсеня Л. И Людмила Иосифовна
Baskı/Yayın Bilgisi: (Минск, Вышэйшая школа, 2008)
Yazar:: Майсеня Л. И Людмила Иосифовна
Baskı/Yayın Bilgisi: (Минск, Вышэйшая школа, 2008)
Дискретная математика для инженера
Yazar:: Кузнецов О. П.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2022)
Yazar:: Кузнецов О. П.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2022)
Benzer Materyaller
-
Рекурсивно перечислимые множества и степени неразрешимости
Yazar:: Арсланов М. М. Марат Мирзаевич
Baskı/Yayın Bilgisi: (Казань, Изд-во Казанского ун-та, 1986) -
Перечислимые множества: учебное пособие
Yazar:: Дегтев А. Н. Александр Николаевич
Baskı/Yayın Bilgisi: (Новосибирск, Изд-во НГУ, 1980) -
Степени неразрешимости: пер. с англ.; Три теоремы о степенях рекурсивно перечислимых множеств; Решетка рекурсивно перечислимых множеств; Иерархия булевых алгебр; Гипотеза сильной однородности
Yazar:: Шенфилд Дж. Джозеф
Baskı/Yayın Bilgisi: (Москва, Наука, 1977) -
Конструктивные модели
Yazar:: Гончаров С. С. Сергей Савостьянович
Baskı/Yayın Bilgisi: (Новосибирск, Научная книга, 1999) -
Математическая логика: учебное пособие
Yazar:: Ершов Ю. Л. Юрий Леонидович
Baskı/Yayın Bilgisi: (СПб., Лань, 2004)