Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

1785

Купить

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

Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

Name: Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06
Rating: 4.5

Автор:

Мардаев Сергей Ильич

Год:

2001

Язык:

Русский

Страниц:

Коллекции:

Авторефераты

Описание:

Мардаев Сергей Ильич Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06 / Мардаев С.И.; Рос. акад. наук, Сиб. отд-ние, Ин-т математики им. С. Л. Соболева. - Новосибирск, 2001. - 23 с. ; 20 см. - Библиогр.: с. 17-23 (78 назв.)

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

4.5

Материалы:

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

Рубрики:

–

Примечания:

Библиогр.: с. 17-23 (78 назв.)

ББК:

22.16

Скачать:

Просмотр и скачивание в формате PDF

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

2020-01-15 01:10:24

Соц. сети:

Важно

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

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

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

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

Реферат по теме Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

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

Курсовая по теме Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

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

ВКР/Диплом по теме Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

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

Диссертация по теме Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

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

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

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

Реставрация Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06

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

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

С.Л. Кузнецов. Спецкурс «Лямбда-исчисление, или вычислительная теория доказательств»

Лекции и семинары Научно-образовательного центра Математического института им. В.А. Стеклова Российской академии наук. С.Л. Кузнецов.

МЦМУ МИАН

Саватеев Ю.В. Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика 21.11.2018

Заседание НИСМЛ 21.11.2018 (запись видеотрансляции). Докладчик: Саватеев Юрий Вячеславович. Соавтор: Шамканов Данияр Салкарбекович. Тема: ...

НИС по математической логике

Доклад Андрея Родина

Сектор аналитической антропологии Института философии РАН 30 апреля 2020 года провел заседание теоретического семинара в формате ...

Институт Философии РАН

[Коллоквиум]: Линейная логика и функциональное программирование

Долкадчик: Степан Кузнецов (МИАН/НИУ ВШЭ) Линейная логика (Жирар, 1987) — это система, в которой логические формулы воспринимаются не как ...

ФКН ВШЭ Лекция 5 | Введение в модальную логику | Даниил Рогозин | Лекториум

Лекция 5 | Автор: Даниил Рогозин | Курс: Введение в модальную логику | Организаторы: Computer Science Club при ПОМИ РАН Смотрите это видео на ...

Лекториум Д.С. Шамканов. Циклические выводы для логики доказуемости Гёделя–Лёба

Научная сессия МИАН, посвященная подведению итогов 2014 г. Д.С. Шамканов. Циклические выводы для логики доказуемости Гёделя–Лёба 12 ноября ...

МЦМУ МИАН Когнитивное компьютерное моделирование и искусственный интеллект. Александр Панов

Когнитивные науки занимаются изучением процессов и способов познания человеком себя и окружающей среды. Искусственный интеллект ...

МФТИ — Физтех

Информация от пользователей

Азат Нагирян

Неподвижные точки модальных операторов : Автореф. дис. на соиск. учен. степ. д.ф.-м.н. : Спец. 01.01.06. В книге говорится об основных понятиях, касающихся модальных операторов. Представлены классические результаты по модальности и их применению к решению практических задач. Издание предназначено для научных работников, инженеров, аспирантов и студентов старших курсов технических специальностей. УДК 517.9(076.5) Неподвижные точки, модальный оператор. Основные определения. Теория. Модность. Определение. Модальная функция. Операторы. Неподвижность точек. Свойства неподвижных точек.