Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

3005

Купить

Краткое содержание:

Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Name: Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06
Rating: 4.5

Автор:

Крупский Николай Владимирович

Год:

2006

Язык:

Русский

Страниц:

Коллекции:

Авторефераты

Описание:

Крупский Н. В. Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел> / Крупский Николай Владимирович; [МГУ им. М. В. Ломоносова]. - Москва, 2006. - 12 с. ; 21 см. - Библиогр.: с. 12 (5 назв.) и в подстроч.примеч.

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

–

Примечания:

Библиогр.: с. 12 (5 назв.) и в подстроч.примеч.

ББК:

22.12

Скачать:

Просмотр и скачивание в формате PDF

Дата создания:

2019-07-07 01:19:05

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Реферат по теме Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

Заработать от 15 000 руб. до 150 000 руб.

Реставрация Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>

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

Показать контакты

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Дніпровська центральна міська бібліотека

Днепропетровская область, Днепр, Соборный район, Победа 5 ж/м
Набережная Победы, 126Б

санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

library.dp.ua
Инстаграм: https://instagram.com/library_dp
Facebook: https://facebook.com/library.dp.ua
Youtube: https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw

+380 (56) 740-38-75 +380 (56) 740-37-11 +380 (562) 68-04-77

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №19

Астраханская область, Астрахань городской округ, Астрахань, Кировский район
Кирова, 51

санитарный день: последний вт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

+7 (8512) 52-34-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Узнезинская модельная библиотека

Республика Алтай, Чемальский район, с. Узнезя
Новые Черёмушки, 13

санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-17:00
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Вс: 09:00-13:00 14:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Льговская сельская библиотека

Рязанская область, Рязанский район, с. Льгово
Колхозная, 23

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека, Трубичинский филиал

Новгородская область, Новгородский район, д. Трубичино
Керамическая, 2Б

Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00

+7 (8162) 74-16-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека им. Саши Чекалина

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Приокский район
Столетова, 8

санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-16:00

+7 (831) 465-02-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
178-й квартал, 2

зимний период: пн-сб 10:00-18:00; санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

www.cbs-angarsk.ru

+7 (3955) 54-11-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №43

Саратовская область, Саратов городской округ, Саратов, 4-й жилучасток
Энтузиастов проспект, 23

июль-август: вс,пн выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00

www.sarcbs.ru/
Вконтакте: https://vk.com/svet_v_okne_biblioteki

+7 (8452) 94-74-73

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №24 им. В.М. Шукшина

Волгоградская область, Волгоград городской округ, Волгоград, Дзержинский район, Семь Ветров
8 Воздушной Армии, 35

зимний период: вт-вс 11:00-19:00; пн выходной; санитарный день: последний чт месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00

volglib.ru
Вконтакте: https://vk.com/club76816522

+7 (8442) 53-74-76 +7 (8442) 53-74-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

Алтайский край, Бийск городской округ, Бийск, Фоминское пос.
Советская, 33

Вт: 12:00-16:00
Ср: 12:00-16:00
Чт: 12:00-16:00
Пт: 12:00-16:00
Сб: 12:00-16:00

+7 (3854) 72-63-02

Показать номер

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Дніпровська центральна міська бібліотека

Днепропетровская область, Днепр, Соборный район, Победа 5 ж/м
Набережная Победы, 126Б

санитарный день: последняя пт месяца
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00

library.dp.ua
Инстаграм: https://instagram.com/library_dp
Facebook: https://facebook.com/library.dp.ua
Youtube: https://youtube.com/channel/UCDPLThpYiRMRaNI0O7n_PRw

+380 (56) 740-38-75 +380 (56) 740-37-11 +380 (562) 68-04-77

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №19

Астраханская область, Астрахань городской округ, Астрахань, Кировский район
Кирова, 51

санитарный день: последний вт месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00

+7 (8512) 52-34-55

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Узнезинская модельная библиотека

Республика Алтай, Чемальский район, с. Узнезя
Новые Черёмушки, 13

Название и адрес

Режим работы

Контактная информация

Телефон

Льговская сельская библиотека

Рязанская область, Рязанский район, с. Льгово
Колхозная, 23

Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00

Название и адрес

Режим работы

Контактная информация

Телефон

Межпоселенческая центральная библиотека, Трубичинский филиал

Новгородская область, Новгородский район, д. Трубичино
Керамическая, 2Б

Пн: 09:00-12:00 13:00-17:00
Вт: 09:00-12:00 13:00-17:00
Ср: 09:00-12:00 13:00-17:00
Чт: 09:00-12:00 13:00-17:00
Пт: 09:00-12:00 13:00-17:00

+7 (8162) 74-16-70

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Детская библиотека им. Саши Чекалина

Нижегородская область, Нижний Новгород городской округ, Нижний Новгород, Приокский район
Столетова, 8

санитарный день: последний чт месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Вс: 09:00-16:00

+7 (831) 465-02-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Централизованная библиотечная система, г. Ангарск

Иркутская область, Ангарский городской округ, Ангарск
178-й квартал, 2

www.cbs-angarsk.ru

+7 (3955) 54-11-52

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №43

Саратовская область, Саратов городской округ, Саратов, 4-й жилучасток
Энтузиастов проспект, 23

июль-август: вс,пн выходной
Вт: 10:00-20:00
Ср: 10:00-20:00
Чт: 10:00-20:00
Пт: 10:00-20:00
Сб: 10:00-20:00
Вс: 10:00-20:00

www.sarcbs.ru/
Вконтакте: https://vk.com/svet_v_okne_biblioteki

+7 (8452) 94-74-73

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №24 им. В.М. Шукшина

volglib.ru
Вконтакте: https://vk.com/club76816522

+7 (8442) 53-74-76 +7 (8442) 53-74-86

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №9

Алтайский край, Бийск городской округ, Бийск, Фоминское пос.
Советская, 33

Вт: 12:00-16:00
Ср: 12:00-16:00
Чт: 12:00-16:00
Пт: 12:00-16:00
Сб: 12:00-16:00

+7 (3854) 72-63-02

Показать номер

Рецензии и отзывы

Егор Петров

Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел>). Такое требование может быть использовано для упорядочения документации, если для решения проблем со структурой допуска определены различные алгоритмы.

Азат Нагирян

Некоторые алгоритмические вопросы для формальных систем со свойством интернализации выводов : автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : специальность 01.01.06 <Мат. логика, алгебра и теория чисел> / / О нас | Заказать авторскую работу | Добавить в избранное Название: