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

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

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

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

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