Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

2828

Купить

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

Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

Name: Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17
Rating: 4.5

Автор:

Гирш Эдуард Алексеевич

Год:

1998

Язык:

Русский

Страниц:

Описание:

Гирш Э. А. Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17 / С.-Петерб. гос. ун-т. - СПб., 1998. - 15 с. ; 20 см. - Библиогр.: с. 12 - 15 (26 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 12 - 15 (26 назв.)

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

2020-11-17 15:14:12

Соц. сети:

Важно

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

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

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

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

Реферат по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

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

Курсовая по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

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

ВКР/Диплом по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

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

Диссертация по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

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

Заработать на знаниях по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

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

Лекция 8

"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ) Лекция 8 (23.10.2020) 00:00 Начало лекции 2:39 Логика ...

Математическая логика и теория алгоритмов, 2020

Алгоритмы для задачи выполнимости: локальный поиск

Локальный поиск: поиск выполняющего набора в шаре радиуса r за O∗(3^r); оценки O∗(3^n/2) и O∗(1.5^n) с помощью покрытия шарами радиуса n/2 и ...

Computer Science Center

Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в криптоанализе

Доклад посвящен применению алгоритмов решения проблемы булевой выполнимости (SAT) к задачам криптоанализа. Будут рассмотрены алгоритмы ...

Positive Technologies

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

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

Режим работы

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

Телефон

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

Павлодарская область, Павлодар
Сибирская, 56
Расположение на карте

июнь-август: вт-сб 10: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

+7 (7182) 51-59-31

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

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

Режим работы

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

Телефон

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

Москва, Москва, Нижегородский район
Перовское шоссе, 16/2
Расположение на карте

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

cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao_107
Инстаграм: https://instagram.com/lib_uvao_107
Facebook: https://facebook.com/libuvao107

+7 (499) 171-94-37

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

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

Режим работы

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

Телефон

Фенинская сельская библиотека

Московская область, Балашиха городской округ, Балашиха
Павлино микрорайон, 64
Расположение на карте

Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

www.cbsbalashihi.ru

+7 (495) 527-73-08

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

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

Режим работы

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

Телефон

Матроскин, детская библиотека №5

Мурманская область, Мурманск городской округ, Мурманск, Ленинский округ
Героев-североморцев проспект, 27
Расположение на карте

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

cdb-murmansk.ru
Вконтакте: https://vk.com/cdb_murmansk

+7 (8152) 43-08-71

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

Лекция 11

"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ) Лекция 11 (13.11.2020) 00:00 Начало лекции 0:35 Теория в ...

Математическая логика и теория алгоритмов, 2020 Лекция "Об эффективном решении NP трудных задач"

Одной из семи математических "проблем тысячелетия" (Clay Mathematics Institute Millenium Problems) был объявлен вопрос о равенстве классов P и NP ...

Факультет математики и компьютерных наук СПбГУ Алгоритм DPLL

Лекция проф. Ю.Г. Карпова к дистанционному курсу "Математическая логика" http://dcn.icc.spbstu.ru/

Irina Shoshmina Основы теории алгоритмов

Факультет дизайна и программной инженерии КНИТУ

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

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

Режим работы

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

Телефон

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

Павлодарская область, Павлодар
Сибирская, 56
Расположение на карте

июнь-август: вт-сб 10: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

+7 (7182) 51-59-31

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

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

Режим работы

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

Телефон

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

Москва, Москва, Нижегородский район
Перовское шоссе, 16/2
Расположение на карте

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

cbsuvao.ru
Вконтакте: https://vk.com/lib_uvao_107
Инстаграм: https://instagram.com/lib_uvao_107
Facebook: https://facebook.com/libuvao107

+7 (499) 171-94-37

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

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

Режим работы

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

Телефон

Фенинская сельская библиотека

Московская область, Балашиха городской округ, Балашиха
Павлино микрорайон, 64
Расположение на карте

Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-18:00

www.cbsbalashihi.ru

+7 (495) 527-73-08

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

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

Режим работы

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

Телефон

Матроскин, детская библиотека №5

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

cdb-murmansk.ru
Вконтакте: https://vk.com/cdb_murmansk

+7 (8152) 43-08-71

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

Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

Купить

Реферат по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

Курсовая по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

ВКР/Диплом по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

Диссертация по теме Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17

Реставрация Теоретические оценки времени работы алгоритмов для задачи выполнимости булевых формул : Автореф. дис. на соиск. учен. степ. к.ф.-м.н. : Спец. 05.13.17