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

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

Автор:
Проскуряков М. Н.
Год:
2012
Язык:
Русский
Описание:
Проскуряков М. Н. Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности / Проскуряков М.Н. - Москва : Репро Галерея, 2012. - 7, [1] с. ; 20 см. - Библиогр. в конце кн. (5 назв.)
Рейтинг по отзывам:
4.5
Рубрики:
Исчисление высказываний → Теория доказательств
Примечания:
Библиогр. в конце кн. (5 назв.)
Дата создания:
2019-10-19 13:19: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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +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
 +7 (3022) 36-45-36
Показать номер
Азат Нагирян
Алгоритмическая гипотеза Кука как следствие теоремы логической стационарности и единственности. В книге описывается ряд новых результатов в теории сложности, касающихся доказанных ранее теорем о существовании замкнутых классов, обладающих свойством абсолютной устойчивости на множестве, и теоретико-числового алгоритма (алгоритма Кука-Фаулера) — алгоритма поиска «нетривиального» простого числа.
Прикрепить файл