Теорема единственности евклидовой механики в исчислении высказываний
3007
Краткое содержание:
Экранизация книги

Теорема единственности евклидовой механики в исчислении высказываний

Автор:
Проскуряков Михаил Н.
Год:
2011
Язык:
Русский
Страниц:
6
Описание:
Проскуряков М. Н. Теорема единственности евклидовой механики в исчислении высказываний / Проскуряков М.Н. - Москва : [б.и.], 2011. - 6 с. ; 20 см. - Библиогр.: с. 6 (3 назв.)
Рейтинг по отзывам:
4.5
Рубрики:
Евклидово пространство
Примечания:
Библиогр.: с. 6 (3 назв.)
Дата создания:
2019-10-03 05:41:47
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Теорема единственности евклидовой механики в исчислении высказываний
Можно ли прочитать книгу за неделю?
Да.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Егор Петров
Теорема единственности евклидовой механики в исчислении высказываний по вопросам алгебры и геометрии // Философский журнал. 1993. Т. 56. № 4. С. 14–18. С.
Прикрепить файл
Похожие книги
Азат Нагирян
Теорема единственности евклидовой механики в исчислении высказываний Как известно, при доказательстве теоремы существования евклидовой теории механики Ньютона в исчислении высказываний мы использовали аппарат тензорного исчисления. Теперь мы применим тензорное исчисление при доказательстве той же теоремы в исчислении предикатов. Мы будем использовать тензорный метод, чтобы показать, что если в некотором языке существует законченная система высказываний с непрерывным, строго дифференцируемым и изоморфным исчислением предикатов, то этот язык является евклидовым.
Прикрепить файл