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

2578

Купить

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

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

Name: Специальные стратегии поиска доказательств теорем в математике и инструментальные средства их реализации : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09)
Rating: 4.5

Автор:

Мороховец Марина Константиновна

Год:

1986

Язык:

Русский

Описание:

Мороховец М.К. Специальные стратегии поиска доказательств теорем в математике и инструментальные средства их реализации : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09) / АН УССР, Ин-т кибернетики им. В.М. Глушкова. - Киев, 1986. - 14, [2] с. - Библиогр. в конце текста (6 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр. в конце текста (6 назв.)

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

2019-11-09 18:45:06

Соц. сети:

Важно

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Режим работы

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

Телефон

Центральна бібліотека ім. Д.І. Писарєва

Харьковская область, Харьков, Немышлянский район, Новые Дома ж/м
Московский проспект, 140
Расположение на карте

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

Facebook: https://facebook.com/pisarev.library

+380 (57) 392-01-18 +380 (57) 392-15-49

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

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

Режим работы

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

Телефон

Бібліотека №134 для юнацтва

Киев город со специальным статусом, Київ, Дніпровський район, Воскресенка
Валентина Сєрова, 28
Расположение на карте

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

sites.google.com/site/library134k

+380 (44) 542-76-94 +380 (44) 542-76-93

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

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

Режим работы

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

Телефон

Красковская централизованная библиотечная система

Московская область, Люберцы городской округ, пгт Красково
Школьная, 2/8
Расположение на карте

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

+7 (495) 557-30-13

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

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

Режим работы

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

Телефон

Детская библиотека №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

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

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

Режим работы

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

Телефон

Юношеская библиотека №8

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

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

+7 (4862) 33-10-62

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

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

Режим работы

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

Телефон

Научная медицинская библиотека

Новгородская область, Новгородский район, Великий Новгород, Колмово
Павла Левитта, 2 к3
Расположение на карте

Пн: 08:30-17:00
Вт: 08:30-17:00
Ср: 08:30-17:00
Чт: 08:30-17:00
Пт: 08:30-17:00

Вконтакте: https://vk.com/club65060371

+7 (8162) 64-29-59

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

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

Режим работы

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

Телефон

Городская библиотека №17

Пензенская область, Пенза городской округ, Пенза, Октябрьский район, Арбеково
Виноградный 5-й проезд, 22
Расположение на карте

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

penzacitylib.ru

+7 (8412) 96-06-62

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

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

Режим работы

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

Телефон

Никольская Городская библиотека

Ленинградская область, Тосненский район, Никольское
Школьная, 2
Расположение на карте

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

tosno.47lib.ru

+7 (81361) 5-38-65

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

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

Режим работы

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

Телефон

Клюквинская сельская библиотека

Курская область, Курский район, с. Клюква
Клюква пос, 188а
Расположение на карте

Вт: 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

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

Режим работы

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

Телефон

Городская библиотека №6

Ханты-Мансийский автономный округ, Нижневартовск городской округ, Нижневартовск, 5-й микрорайон
Маршала Жукова, 3
Расположение на карте

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

+7 (3466) 41-09-20

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

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

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

Режим работы

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

Телефон

Центральна бібліотека ім. Д.І. Писарєва

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

Facebook: https://facebook.com/pisarev.library

+380 (57) 392-01-18 +380 (57) 392-15-49

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

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

Режим работы

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

Телефон

Бібліотека №134 для юнацтва

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

sites.google.com/site/library134k

+380 (44) 542-76-94 +380 (44) 542-76-93

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

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

Режим работы

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

Телефон

Красковская централизованная библиотечная система

Московская область, Люберцы городской округ, пгт Красково
Школьная, 2/8
Расположение на карте

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

+7 (495) 557-30-13

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

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

Режим работы

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

Телефон

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

санитарный день: последняя ср месяца
Пн: 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

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

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

Режим работы

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

Телефон

Юношеская библиотека №8

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

+7 (4862) 33-10-62

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

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

Режим работы

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

Телефон

Научная медицинская библиотека

Новгородская область, Новгородский район, Великий Новгород, Колмово
Павла Левитта, 2 к3
Расположение на карте

Пн: 08:30-17:00
Вт: 08:30-17:00
Ср: 08:30-17:00
Чт: 08:30-17:00
Пт: 08:30-17:00

Вконтакте: https://vk.com/club65060371

+7 (8162) 64-29-59

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

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

Режим работы

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

Телефон

Городская библиотека №17

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

penzacitylib.ru

+7 (8412) 96-06-62

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

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

Режим работы

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

Телефон

Никольская Городская библиотека

Ленинградская область, Тосненский район, Никольское
Школьная, 2
Расположение на карте

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

tosno.47lib.ru

+7 (81361) 5-38-65

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

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

Режим работы

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

Телефон

Клюквинская сельская библиотека

Курская область, Курский район, с. Клюква
Клюква пос, 188а
Расположение на карте

Вт: 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

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

Режим работы

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

Телефон

Городская библиотека №6

+7 (3466) 41-09-20

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

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

Егор Петров

Специальные стратегии поиска доказательств теорем в математике и инструментальные средства их реализации : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). В книге говорится , что основные идеи описаны в более ранней статье «Функциональные возможности дискурса как формы преобразования действительности», опубликованной в журнале «А

Азат Нагирян

Специальные стратегии поиска доказательств теорем в математике и инструментальные средства их реализации : Автореф. дис. на соиск. учен. степ. канд. физ.-мат. наук : (01.01.09). В книге говорится о методах и средствах, позволяющих реализовать специальные стратегии поиска теорем и доказательства теорем.