О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09)
1533
Купить
Краткое содержание:
Экранизация книги

О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09)

Автор:
Попов Сергей Викторович (канд. физ.-мат. наук кибернетика 1946-)
Год:
1976
Язык:
Русский
Описание:
Попов С. В. О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09) / Моск. гос. ун-т им. М.В. Ломоносова. Фак. вычислит. математики и кибернетики. - Москва, 1976. - 9 с
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
–
Дата создания:
2020-06-28 13:10:00
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09)

Заказать реферат Узнать стоимость Скачать пример
Классическая логика. Элементы математической логики.
Промокод на скидку 15% на все курсы ITVDN- H94BCAB Полный видеокурс: http://itvdn.com/ru/video/math-logic?utm_source=yb_full_mathlog В данном ...
ITVDN
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09)
Опросы
Эта книга оказалась полезной?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09)

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
3. Типы в ?-исчислении и соответствие Карри—Ховарда
Третья лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» ...
Vitaly Bragilevsky
4. Интерактивное доказательство теорем в системе Coq
Четвёртая лекция курса «Соответствие Карри–Ховарда: от математической логики к программированию» ...
Vitaly Bragilevsky
[Мини-курс]: Программирование. Idris. Лекция 2
Мини-курс В.Н. Брагилевского: «Функциональное программирование с зависимыми типами на языке Idris» Язык программирования Idris — это ...
ФКН ВШЭ
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Медицинская библиотека
Брянская область, Брянск городской округ, Брянск, Советский район
Октябрьская, 36
Расположение на карте
Вт: 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
Сб: 09:00-12:00 13:00-18:00
 +7 (4832) 66-46-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Лобня
Московская область, Лобня городской округ, Лобня, Красная Поляна м-н
Краснополянская, 29
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
 +7 (495) 579-45-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская районная библиотека
Московская область, Щёлковский район, Щёлково
Пушкина, 24
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вконтакте:  https://vk.com/club64489515
 +7 (496) 566-57-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Белгородская область, Белгород городской округ, Белгород, Восточный округ
Попова, 54
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
Вконтакте:  https://vk.com/belcdb
 +7 (4722) 32-31-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7, г. Артем
Приморский край, Артёмовский городской округ, Артем
Каширская, 30
Расположение на карте
санитарный день: последний день месяца; летний период: вт-пт 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-17:00
Вс: 10:00-17:00
 +7 (42337) 4-51-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека муниципального образования Кимовский район
Тульская область, Кимовский район, Кимовск
Коммунистическая, 18
Расположение на карте
Пн: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
kmcrb.tls.muzkult.ru
 +7 (48735) 4-30-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека, рп. Краснообск
Новосибирская область, Новосибирский район, рп. Краснообск
Краснообск посёлок, 77
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 12:00-18:00; технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
novcbs.ru
 +7 (383) 348-32-62 +7 (383) 348-53-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Томилово
Новосибирская область, Мошковский район, с. Томилово
Гагарина, 12
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (38348) 3-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Успенское
Сахалинская область, Анивский городской округ, с. Успенское
Центральная, 19
Расположение на карте
Вт: 15:00-20:20
Ср: 15:00-20:20
Чт: 15:00-20:20
Пт: 15:00-20:20
Сб: 15:00-20:20
 +7 (42441) 9-11-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Краснодарский край, Динской район, ст-ца Васюринская
Ставского, 19
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-16:00
Вс: 09:00-17:00
 +7 (86162) 3-13-49
Показать номер
Лекция 2 | Введение в язык формальной верификации Coq | Антон Трунов | Лекториум
Лекция 2 | Автор: Антон Трунов | Курс: Введение в язык формальной верификации Coq | Организаторы: Математическая лаборатория имени П.Л.
Лекториум Рыбаков М.Н. Логика (лекция) 12.11.2020
Mathematics at HSE
Рецензии и отзывы
Егор Петров
О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09). В книге говорится о преимуществах смешанных алгоритмов над симметричными, а именно о том, что при их применении можно придать самым разным формулам функциональную совместимость
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Медицинская библиотека
Брянская область, Брянск городской округ, Брянск, Советский район
Октябрьская, 36
Расположение на карте
Вт: 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
Сб: 09:00-12:00 13:00-18:00
 +7 (4832) 66-46-03
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №3, г. Лобня
Московская область, Лобня городской округ, Лобня, Красная Поляна м-н
Краснополянская, 29
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Пт: 12:00-19:00
Сб: 12:00-18:00
 +7 (495) 579-45-75
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская районная библиотека
Московская область, Щёлковский район, Щёлково
Пушкина, 24
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вконтакте:  https://vk.com/club64489515
 +7 (496) 566-57-55
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Белгородская область, Белгород городской округ, Белгород, Восточный округ
Попова, 54
Расположение на карте
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 10:00-18:00
Вконтакте:  https://vk.com/belcdb
 +7 (4722) 32-31-64
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №7, г. Артем
Приморский край, Артёмовский городской округ, Артем
Каширская, 30
Расположение на карте
санитарный день: последний день месяца; летний период: вт-пт 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-17:00
Вс: 10:00-17:00
 +7 (42337) 4-51-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека муниципального образования Кимовский район
Тульская область, Кимовский район, Кимовск
Коммунистическая, 18
Расположение на карте
Пн: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
kmcrb.tls.muzkult.ru
 +7 (48735) 4-30-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная районная библиотека, рп. Краснообск
Новосибирская область, Новосибирский район, рп. Краснообск
Краснообск посёлок, 77
Расположение на карте
зимний период: пн-пт 11:00-19:00; вс 12:00-18:00; технический день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
novcbs.ru
 +7 (383) 348-32-62 +7 (383) 348-53-56
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Томилово
Новосибирская область, Мошковский район, с. Томилово
Гагарина, 12
Расположение на карте
Пн: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
 +7 (38348) 3-11-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Успенское
Сахалинская область, Анивский городской округ, с. Успенское
Центральная, 19
Расположение на карте
Вт: 15:00-20:20
Ср: 15:00-20:20
Чт: 15:00-20:20
Пт: 15:00-20:20
Сб: 15:00-20:20
 +7 (42441) 9-11-21
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека
Краснодарский край, Динской район, ст-ца Васюринская
Ставского, 19
Расположение на карте
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Сб: 09:00-16:00
Вс: 09:00-17:00
 +7 (86162) 3-13-49
Показать номер
Информация от пользователей
Азат Нагирян
О преобразованиях и сложности выводов в пропозиционных исчислениях : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (01.01.09). В книге говорится
Прикрепить файл
Книга находятся в категориях.