Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11
1726
Купить
Краткое содержание:
Экранизация книги

Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11

Автор:
Черкашин Евгений Александрович
Год:
1999
Язык:
Русский
Описание:
Черкашин Е. А. Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11 / Черкашин Евгений Александрович; Рос. акад. наук, Сиб. отд-ние, Ин-т динамики систем и теории упр. - Иркутск : Б.и., 1999. - 16, [1] с. : ил. ; 21 см. - Библиогр. в конце кн. (8 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Примечания:
Библиогр. в конце кн. (8 назв.)
Дата создания:
2020-06-18 08:11:46
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11

Заказать реферат Узнать стоимость Скачать пример
Черных И.Д. Компьютерные док-ва теорем в теории расписаний
Черных И. Д. (Новосибирск, Институт математики им. С.Л. Соболева) Компьютерные доказательства теорем в теории расписаний. Лекция Молодежной ...
Молодежная Школа по дискретной математике
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11
Опросы
Укажите тип книги
Художеств.
Документальные
Учебные
Научные
Производственно-технические
Программно-методические
Справочные
Агитационно-пропагандистские
Научно-популярные
Инструктивные
Не знаю
Содержание

Реставрация Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
В докладе дается обзор системы Coq — средства для полуавтоматического построения и автоматической проверки доказательств на компьютере.
Кафедра матем. логики
CTCrypt 2017 – Quantum cryptography in Russia: from theory to practice – Special session
Успехи экспериментов, перспективы развития и пути практического внедрения квантовой криптографии — глазами ведущих российских ...
BIS TV
Иван Пономарёв — Непрерывный статический анализ кода
Ближайшая конференция — Heisenbug 2020 Moscow 4-7 ноября, Online Подробности и билеты: https://heisenbug-moscow.ru/ .Статические ...
Heisenbug
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека
Киевская область, Вишгород
Шолуденка, 8
Расположение на карте
Пн: 09:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +380 (4596) 5-47-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепровский городской совет, Днепр, Чечеловский район
Рабочая, 24а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1 ст2
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:45
Вт: 09:00-18:45
Ср: 09:00-18:45
Чт: 09:00-18:45
Пт: 09:00-18:45
Сб: 10:00-17:00
nbmgu.ru
 +7 (495) 939-16-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Техническая, 81
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-18:00
www.ekmob.ru
Вконтакте:  https://vk.com/ekmob
 +7 (343) 322-41-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новгородская областная универсальная научная библиотека
Новгородская область, Новгородский район, Великий Новгород
Кремль территория, 4
Расположение на карте
санитарный день: последний день месяца
Пн: 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.reglib.natm.ru
Вконтакте:  https://vk.com/bibliotekano
Инстаграм:  https://instagram.com/biblioteka_nov
Facebook:  https://facebook.com/BIBLIOTEKANO
Твиттер:  https://twitter.com/@iriri_irina
 +7 (8162) 77-75-30 +7 (8162) 77-36-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Семейная библиотека
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Кохомское шоссе, 17
Расположение на карте
санитарный день: 16 число месяца, последний день месяца; зимний период: пн-сб 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 55-63-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №5
Пензенская область, Пенза городской округ, Пенза, Железнодорожный район, ГПЗ-24
Антонова, 11а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
penzacitylib.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.И. Герцена
Тверская область, Тверь городской округ, Тверь, Московский район
Ивана Богданова, 22 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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.mbstver.ru
Вконтакте:  https://vk.com/club35066524
Инстаграм:  https://instagram.com/gercenka_lib
Facebook:  https://facebook.com/mbstver
Твиттер:  https://twitter.com/@gercenka
 +7 (4822) 58-19-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, пос. Маяковка
Центральная, 5
Расположение на карте
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00
www.mucbsprokopregion.ru
 +7-951-612-36-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Усть-Ануй
Алтайский край, Быстроистокский район, с. Усть-Ануй
Центральная, 51
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
 +7 (38571) 2-33-16
Показать номер
День открытых дверей бакалавриата. Декабрь 2017.
ФКН ВШЭ Neil Gershenfeld: The beckoning promise of personal fabrication
http://www.ted.com MIT professor Neil Gershenfeld talks about his Fab Lab -- a low-cost lab that lets people build things they need using digital and analog tools.
TED Хелемский А. Я. - Функциональный анализ. Часть 1 - Введение, почти гильбертовы пространства, норма
0:00:00 1. Предварительные понятия и обозначения 0:01:12 2. Преднорма, её свойства 0:03:05 3. Норма 0:03:46 4. Преднормированное и ...
teach-in Coq-практикум 01.09.2020, ч. 1
Компьютерный практикум по математической логике http://www.mi-ras.ru/~sk/lehre/coq/
Stepan Kuznetsov
Рецензии и отзывы
Егор Петров
Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11. В книге говорится , что система квантов/ 1 при подсчете доказательств доказала теоремы даже на порядок чаще, чем базовая система квантов.
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека
Киевская область, Вишгород
Шолуденка, 8
Расположение на карте
Пн: 09:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00
Вс: 10:00-19:00
 +380 (4596) 5-47-61
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централізована система бібліотек для дітей
Днепропетровская область, Днепровский городской совет, Днепр, Чечеловский район
Рабочая, 24а
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
childlib.dp.ua
 +380 (56) 767-42-74
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Научная библиотека, МГУ им. М.В. Ломоносова
Москва, Москва, Раменки район
Ленинские Горы, 1 ст2
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-18:45
Вт: 09:00-18:45
Ср: 09:00-18:45
Чт: 09:00-18:45
Пт: 09:00-18:45
Сб: 10:00-17:00
nbmgu.ru
 +7 (495) 939-16-96
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11
Свердловская область, Екатеринбург городской округ, Екатеринбург, Железнодорожный район, Старая Сортировка
Техническая, 81
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Вс: 09:00-18:00
www.ekmob.ru
Вконтакте:  https://vk.com/ekmob
 +7 (343) 322-41-76
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Новгородская областная универсальная научная библиотека
Новгородская область, Новгородский район, Великий Новгород
Кремль территория, 4
Расположение на карте
санитарный день: последний день месяца
Пн: 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.reglib.natm.ru
Вконтакте:  https://vk.com/bibliotekano
Инстаграм:  https://instagram.com/biblioteka_nov
Facebook:  https://facebook.com/BIBLIOTEKANO
Твиттер:  https://twitter.com/@iriri_irina
 +7 (8162) 77-75-30 +7 (8162) 77-36-49
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Семейная библиотека
Ивановская область, Иваново городской округ, Иваново, Ленинский район
Кохомское шоссе, 17
Расположение на карте
санитарный день: 16 число месяца, последний день месяца; зимний период: пн-сб 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
 +7 (4932) 55-63-58
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №5
Пензенская область, Пенза городской округ, Пенза, Железнодорожный район, ГПЗ-24
Антонова, 11а
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
penzacitylib.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека им. А.И. Герцена
Тверская область, Тверь городской округ, Тверь, Московский район
Ивана Богданова, 22 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 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.mbstver.ru
Вконтакте:  https://vk.com/club35066524
Инстаграм:  https://instagram.com/gercenka_lib
Facebook:  https://facebook.com/mbstver
Твиттер:  https://twitter.com/@gercenka
 +7 (4822) 58-19-01
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Прокопьевского муниципального района, МБУ
Кемеровская область, Прокопьевский район, пос. Маяковка
Центральная, 5
Расположение на карте
Вт: 10:00-14:00 15:00-19:00
Ср: 10:00-14:00 15:00-19:00
Чт: 10:00-14:00 15:00-19:00
Пт: 10:00-14:00 15:00-19:00
Вс: 10:00-14:00 15:00-19:00
www.mucbsprokopregion.ru
 +7-951-612-36-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, с. Усть-Ануй
Алтайский край, Быстроистокский район, с. Усть-Ануй
Центральная, 51
Расположение на карте
Пн: 09:00-12:00 13:00-16:00
Вт: 09:00-12:00 13:00-16:00
Ср: 09:00-12:00 13:00-16:00
Чт: 09:00-12:00 13:00-16:00
Пт: 09:00-12:00 13:00-16:00
 +7 (38571) 2-33-16
Показать номер
Информация от пользователей
Азат Нагирян
Программная система квант/1 для автоматического доказательства теорем : автореферат диссертации на соискание ученой степени к.т.н. : специальность 05.13.11. В книге говорится
Прикрепить файл
Книга находятся в категориях.