Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

984

Купить

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

Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

Name: Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)
Rating: 4.5

Автор:

Горги Форд Вагрис

Год:

1972

Язык:

Русский

Описание:

Горги Ф.В. Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007) / [МГУ]. Мех.-мат. фак. - Москва : Изд-во Моск. ун-та, 1972. - 7 с

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

4.5

Материалы:

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

Рубрики:

–

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

2019-12-25 07:18:39

Соц. сети:

Важно

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

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

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

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

Реферат по теме Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

Курсовая по теме Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

ВКР/Диплом по теме Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

Диссертация по теме Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

Заработать на знаниях по теме Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

Реставрация Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007)

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

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

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

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

Режим работы

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

Телефон

Библиотека №267 им. Н.К. Крупской

Москва, Москва, Красносельский район
Большая Спасская, 31
Расположение на карте

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

cbscao.ru

+7 (495) 680-07-50

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

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

Режим работы

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

Телефон

Детская библиотека №156

Москва, Москва, Орехово-Борисово Северное район
Домодедовская, 1 к1
Расположение на карте

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

Вконтакте: https://vk.com/biblioteka_156
Facebook: https://facebook.com/biblioteka156.ru

+7 (495) 392-58-33

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

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

Режим работы

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

Телефон

Стрелецкая сельская библиотека

Тамбовская область, Тамбовский район, с. Стрельцы
Филимонова, 10Б
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

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

Режим работы

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

Телефон

Молодежная библиотека им. А.С. Пушкина

Чувашская Республика, Чебоксары городской округ, Чебоксары, Ленинский район
Ленина проспект, 55
Расположение на карте

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

+7 (8352) 23-05-70

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК, г. Киселёвск

Кемеровская область, Киселёвский городской округ, Киселевск, Афонино
Садовая, 5
Расположение на карте

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

www.biblio-ksl.ru

+7 (38464) 7-18-10

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

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

Режим работы

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

Телефон

Библиотека №20 им. М.И. Юдалевича

Алтайский край, Барнаул городской округ, Барнаул, Октябрьский район
Ленина проспект, 165
Расположение на карте

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

+7 (3852) 77-68-10

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

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

Режим работы

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

Телефон

Радуга, детская экологическая библиотека

Псковская область, Псковский район, Псков, Запсковье
Новосёлов, 11
Расположение на карте

санитарный день: первый вт месяца; зимний период: пн-пт 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-18:00

+7 (8112) 53-68-63

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

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

Режим работы

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

Телефон

Новомарьевская сельская библиотека

Ставропольский край, Шпаковский район, ст-ца Новомарьевская
Свердлова, 44
Расположение на карте

Пн: 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

+7 (86553) 3-65-16

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

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

Режим работы

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

Телефон

Заозёрная, детская библиотека

Омская область, Омск городской округ, Омск, Советский округ, Заозёрный
Заозёрная, 16
Расположение на карте

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

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761

+7 (3812) 67-50-64

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

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

Режим работы

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

Телефон

Библиотека №5, г. Черногорск

Республика Хакасия, Черногорск городской округ, Черногорск, Крепость
Калинина, 26
Расположение на карте

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

chernbib.ru/

+7 (39031) 2-50-13

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

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

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

Режим работы

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

Телефон

Библиотека №267 им. Н.К. Крупской

Москва, Москва, Красносельский район
Большая Спасская, 31
Расположение на карте

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

cbscao.ru

+7 (495) 680-07-50

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

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

Режим работы

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

Телефон

Детская библиотека №156

Москва, Москва, Орехово-Борисово Северное район
Домодедовская, 1 к1
Расположение на карте

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

Вконтакте: https://vk.com/biblioteka_156
Facebook: https://facebook.com/biblioteka156.ru

+7 (495) 392-58-33

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

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

Режим работы

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

Телефон

Стрелецкая сельская библиотека

Тамбовская область, Тамбовский район, с. Стрельцы
Филимонова, 10Б
Расположение на карте

Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 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-18:00

+7 (8352) 23-05-70

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

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

Режим работы

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

Телефон

Централизованная библиотечная система, МБУК, г. Киселёвск

Кемеровская область, Киселёвский городской округ, Киселевск, Афонино
Садовая, 5
Расположение на карте

www.biblio-ksl.ru

+7 (38464) 7-18-10

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

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

Режим работы

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

Телефон

Библиотека №20 им. М.И. Юдалевича

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

+7 (3852) 77-68-10

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

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

Режим работы

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

Телефон

Радуга, детская экологическая библиотека

Псковская область, Псковский район, Псков, Запсковье
Новосёлов, 11
Расположение на карте

+7 (8112) 53-68-63

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

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

Режим работы

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

Телефон

Новомарьевская сельская библиотека

Ставропольский край, Шпаковский район, ст-ца Новомарьевская
Свердлова, 44
Расположение на карте

Пн: 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

+7 (86553) 3-65-16

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

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

Режим работы

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

Телефон

Заозёрная, детская библиотека

Омская область, Омск городской округ, Омск, Советский округ, Заозёрный
Заозёрная, 16
Расположение на карте

www.lib.omsk.ru
Вконтакте: https://vk.com/lovebooks
Youtube: https://youtube.com/user/OMB19761

+7 (3812) 67-50-64

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

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

Режим работы

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

Телефон

Библиотека №5, г. Черногорск

Республика Хакасия, Черногорск городской округ, Черногорск, Крепость
Калинина, 26
Расположение на карте

chernbib.ru/

+7 (39031) 2-50-13

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

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

Егор Петров

Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007). В данной книге описывается логика этапов, исследование которых следует проводить в рамках проекта «Английский язык в системе стандартов Государственной информационной системы России».

Азат Нагирян

Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики : Автореф. дис. на соиск. учен. степени канд. физ.-мат. наук : (007). В данной книге описывается система правил вывода, определяющая язык ступенчатой семантики. Система применяется для решения многих задач логического характера. На базе данной книги разработан пакет программ для ЭВМ, выполняющийся с целью повышения эффективности поиска решения различных задач (логических задач). Программа написана на языке АЛГОЛ-60.