Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности
1724
Купить
Краткое содержание:
Экранизация книги

Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности

Автор:
Проскуряков М. Н.
Год:
2012
Язык:
Русский
Описание:
Проскуряков М. Н. Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности / Проскуряков М.Н. - Москва : Репро Галерея, 2012. - 7, [1] с. ; 20 см. - Библиогр. в конце кн. (5 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Исчисление высказываний → Теория доказательств
Примечания:
Библиогр. в конце кн. (5 назв.)
Дата создания:
2019-10-19 13:19:36
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности
Опросы
Она стоит дороже 200 руб?
Она стоит 200 руб.
Она стоит дороже.
Она стоит дешевле.
Не знаю
Содержание

Реставрация Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская модельная казахская библиотека
Акмолинская область, Кокшетау городская администрация, Кокшетау
Акан Серэ, 89
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-18:00
 +7 (7162) 25-77-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Казыбек Би район, Степной 1 м-н
Степной 1-й микрорайон, 45
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 31-88-42
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Козловская библиотека перемышльской ЦБС
Калужская область, Калуга городской округ, Калуга
Большие Козлы д, 17Б
Расположение на карте
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №50
Москва, Москва, Марьина Роща район
Октябрьская, 103 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliosvao.ru/50oktyabrskaya
 +7 (495) 123-65-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.Ю. Лермонтова
Орловская область, Орёл городской округ, Орёл, Советский район
Андрианова, 5
Расположение на карте
зимний период: пн, ср-пт 11:00-19:00; сб-вс 10:00-18:00; пн выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.cbsorel.ru
Вконтакте:  https://vk.com/pushkinka57
Твиттер:  https://twitter.com/@pushkinlib
 +7 (4862) 42-35-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Архангельская область, Новодвинск городской округ, Новодвинск
50-летия Октября, 43 к1
Расположение на карте
зимний период: пн-чт 10:00-18:00; пт, вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-16:00
ncbs.arkh.muzkult.ru
 +7 (81852) 4-25-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека, г. Богородск
Нижегородская область, Богородский район, Богородск
Ленина, 202
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 08:00-16:00
Вс: 09:00-17:00
www.cbsbg.ru
 +7 (83170) 2-10-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система г. Бердска
Новосибирская область, Бердск городской округ, Бердск
Карла Маркса, 62
Расположение на карте
июнь-август: пн-пт 8:00-17:00, перерыв: 12:00-13:00; сб выходной; нерабочий день: последняя пт месяца
Вт: 09:00-12:00 13:00-18:00
Ср: 09:00-12:00 13:00-18:00
Чт: 09:00-12:00 13:00-18:00
Пт: 09:00-12:00 13:00-18:00
Сб: 10:00-12:00 13:00-17:00
biblioberdsk.ru
Вконтакте:  https://vk.com/club59126880
Facebook:  https://facebook.com/biblioberdsk.ru
 +7 (38341) 5-03-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская детско-юношеская библиотека
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ
Победы проспект, 5
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-18:00
deti.baikalib.ru
Вконтакте:  https://vk.com/youth_library03
Твиттер:  https://twitter.com/@rdub_uu
 +7 (3012) 21-46-72 +7 (3012) 21-42-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9 им. М.М. и Е.П. Нарышкиных
Забайкальский край, Чита городской округ, Чита, Ингодинский район
Селенгинская, 12а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbs-chita.ru
 +7 (3022) 36-45-36
Показать номер
Рецензии и отзывы
Егор Петров
Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности. В книге описывается принцип работы этого механизма, находящегося в «Алеф-на-Бине».
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Городская модельная казахская библиотека
Акмолинская область, Кокшетау городская администрация, Кокшетау
Акан Серэ, 89
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-18:00
 +7 (7162) 25-77-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная система массовых библиотек
Карагандинская область, Караганда, Казыбек Би район, Степной 1 м-н
Степной 1-й микрорайон, 45
Расположение на карте
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (7212) 31-88-42
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Козловская библиотека перемышльской ЦБС
Калужская область, Калуга городской округ, Калуга
Большие Козлы д, 17Б
Расположение на карте
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №50
Москва, Москва, Марьина Роща район
Октябрьская, 103 к1
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
bibliosvao.ru/50oktyabrskaya
 +7 (495) 123-65-72
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. М.Ю. Лермонтова
Орловская область, Орёл городской округ, Орёл, Советский район
Андрианова, 5
Расположение на карте
зимний период: пн, ср-пт 11:00-19:00; сб-вс 10:00-18:00; пн выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
www.cbsorel.ru
Вконтакте:  https://vk.com/pushkinka57
Твиттер:  https://twitter.com/@pushkinlib
 +7 (4862) 42-35-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская детская библиотека
Архангельская область, Новодвинск городской округ, Новодвинск
50-летия Октября, 43 к1
Расположение на карте
зимний период: пн-чт 10:00-18:00; пт, вс 10:00-17:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-16:00
ncbs.arkh.muzkult.ru
 +7 (81852) 4-25-54
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека, г. Богородск
Нижегородская область, Богородский район, Богородск
Ленина, 202
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 08:00-16:00
Вс: 09:00-17:00
www.cbsbg.ru
 +7 (83170) 2-10-19
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система г. Бердска
Новосибирская область, Бердск городской округ, Бердск
Карла Маркса, 62
Расположение на карте
июнь-август: пн-пт 8:00-17:00, перерыв: 12:00-13:00; сб выходной; нерабочий день: последняя пт месяца
Вт: 09:00-12:00 13:00-18:00
Ср: 09:00-12:00 13:00-18:00
Чт: 09:00-12:00 13:00-18:00
Пт: 09:00-12:00 13:00-18:00
Сб: 10:00-12:00 13:00-17:00
biblioberdsk.ru
Вконтакте:  https://vk.com/club59126880
Facebook:  https://facebook.com/biblioberdsk.ru
 +7 (38341) 5-03-04
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская детско-юношеская библиотека
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ
Победы проспект, 5
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-18:00
deti.baikalib.ru
Вконтакте:  https://vk.com/youth_library03
Твиттер:  https://twitter.com/@rdub_uu
 +7 (3012) 21-46-72 +7 (3012) 21-42-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №9 им. М.М. и Е.П. Нарышкиных
Забайкальский край, Чита городской округ, Чита, Ингодинский район
Селенгинская, 12а
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-13:00 14:00-18:00
cbs-chita.ru
 +7 (3022) 36-45-36
Показать номер
Информация от пользователей
Азат Нагирян
Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности. В книге описывается ряд новых результатов в теории сложности, касающихся доказанных ранее теорем о существовании замкнутых классов, обладающих свойством абсолютной устойчивости на множестве, и теоретико-числового алгоритма (алгоритма Кука-Фаулера) — алгоритма поиска «нетривиального» простого числа.
Прикрепить файл
Книга находятся в категориях.