Успенский

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007

Вводный курс математической логики, Успенский В.А., Верещагин Н.К., Плиско В.Е., 2007.

Вучебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики. Библиогр. 15 назв.

ВВЕДЕНИЕ.

Логику можно определить как науку о правильных способах рассуждения, т. е. таких способах рассуждения, при которых из верных исходных положений получаются верные результаты. Конечно, можно рассуждать и без науки о правильных рассуждениях. Однако в некоторых случаях потребность в такой науке все же возникает. В частности, такая ситуация сложилась в математике в конце XIX — начале XX вв., когда были обнаружены парадоксы в теории абстрактных множеств, разработанной Г. Кантором. Анализ парадоксов потребовал внимательного исследования рассуждений, применяемых в математике, и тем самым вызвал необходимость в развитии науки о рассуждениях, т. е. логики. Чтобы логика могла обслуживать самую точную из наук — математику, она сама должна быть точной наукой, т. е. она должна иметь дело с точными математическими понятиями и применять точные математические методы. Такова математическая логика — наука о математических рассуждениях, пользующаяся математическими методами.

ОГЛАВЛЕНИЕ.

ГЛАВА 1 ЭЛЕМЕНТЫ ТЕОРИИ МНОЖЕСТВ.
ГЛАВА 2 ЯЗЫКИ ПЕРВОГО ПОРЯДКА.
ГЛАВА 3 ЭЛЕМЕНТЫ ТЕОРИИ ДОКАЗАТЕЛЬСТВ.
ГЛАВА 4 ТЕОРЕМА ГЁДЕЛЯ О ПОЛНОТЕ.
ГЛАВА 5 ТЕОРИЯ АЛГОРИТМОВ.
Список рекомендуемой литературы.
Предметный указатель.



Бесплатно скачать электронную книгу в удобном формате и читать:
Скачать - pdf - Яндекс.Диск.
 

Именослов, История языка, История культуры, Успенский Ф.Б., 2012

Именослов, История языка, История культуры, Успенский Ф.Б., 2012.

Очередной сборник Центра славяно-германских исследований составлен по следам ежегодных круглых столов «Древняя Русь и германский мир в историко-филологической перспективе» и ряда докладов, обсуждавшихся на семинаре Центра. Первоначально семинар, как и круглые столы, были посвящены по преимуществу исторической семантике германских и древнерусских имен собственных. Позднее на заседаниях стали звучать доклады о средневековой агиографии, связанной с выбором имени, о древних прозвищах, о текстовых формулах и обряде заключении договоров, об этиологических легендах в средневековой историографии и о многом другом. Иными словами, история имени оказалась исключительно удобным трамплином для исследования культуры Средних веков и раннего Нового времени, исследования же историко-культурной проблематики были невозможны без привлечения собственно лингвистических данных, а также перевода и публикации источников. Это сложное переплетение и расширение тем отразилось в книге, предлагаемой вниманию читателей.

Именослов, История языка, История культуры, Успенский Ф.Б., 2012
Скачать и читать Именослов, История языка, История культуры, Успенский Ф.Б., 2012
 

Старые и новые истории о Простоквашино, Успенский Э., 2011

Старые и новые истории о Простоквашино, Успенский Э., 2011.

Юные читатели с удовольствием встретятся со своими любимыми простоквашинскими героями и узнают последние новости из этой замечательной деревни.

Старые и новые истории о Простоквашино, Успенский Э., 2011
Скачать и читать Старые и новые истории о Простоквашино, Успенский Э., 2011
 

Занимательная география, Успенский Л., 1947

Занимательная география, Успенский Л., 1947.

  Перед Вами—страна, напоминающая по очертаниям старинный воинский сапог-ботфорт. Можно думать, что благодаря этому ее не трудно запомнить и, наоборот, нелегко спутать с какой-либо другой. Если я скажу, что этот «ботфорт» лежит на 40° широты, что его берега омывают синие воды теплого моря, что многие места внутри страны знамениты своими вулканами и горячими вулканическими ключами, что, наконец, примечательной особенностью этой страны являются многочисленные и удивительные остатки глубокой древности, то, надеюсь, Вы без особого труда определите имя этой страны-музея.

Занимательная география, Успенский Л., 1947
Скачать и читать Занимательная география, Успенский Л., 1947
 

Истории про Чебурашку и Крокодила Гену, Успенский Э.Н., 2009

Истории про Чебурашку и Крокодила Гену, Успенский Э.Н., 2009.

   Монографическое изложение курса лекций по кристаллографии, прочитанного известным английским ученым Э. Уиттекером в Оксфордском университете. В книге освещены новейшие достижения кристаллографии и методы изучения кристаллов Особое внимание уделено рентгеновским методам анализа.
Рассчитанная в первую очередь на студентов геологов, книга представляет несомненный интерес также для физиков, химиков и всех лиц, которые хотели бы познакомиться с основами кристаллографии.

Истории про Чебурашку и Крокодила Гену, Успенский Э.Н., 2009
Скачать и читать Истории про Чебурашку и Крокодила Гену, Успенский Э.Н., 2009
 

По дорогам и тропам языка, Успенский Л.В., 2008

По дорогам и тропам языка, Успенский Л.В., 2008.

  Лев Васильевич Успенский — классик научно-познавательной литературы для детей и юношества, лингвист, переводчик. «Слово о словах», «Загадки топонимики», «Ты и твое имя», «По закону буквы», этимологический словарь школьника «Почему не иначе?» — многие из этих книг были написаны в 50-60-е годы XX века, однако они и по сей день остаются крайне актуальными.
«По дорогам и тропам языка» — восьмая книга Льва Успенского, посвященная занимательному языкознанию. Автор попытался интересно и доступно, с рассуждениями и размышлениями, двигаясь параллельно курсу школьной программы, рассказать читателям о фонетике, морфологии и словообразовании, о законах и правилах русского языка.

По дорогам и тропам языка, Успенский Л.В., 2008
Скачать и читать По дорогам и тропам языка, Успенский Л.В., 2008
 

Очерки истории Трапезундской империи, Успенский Ф.И.

Очерки истории Трапезундской империи, Успенский Ф.И.

  Книга известного русского византиниста Федора Ивановича Успенского «Очерки истории Трапезундской империи» повествует о важном этапе в Жизни греческого Востока после IV крестового Похода. В результате этого похода в начале XIII в. наряду с другими державами, возникшими на осколках бывшей Византийской империи на южном побережье Черного моря, образуется новое государство. Оно появляется в районе старой византийской фемы Халдия и занимает узкую полосу по побережью Понта [1]. Дело не только в том, что это государство просуществовало 250 лет, с 1204 по 1460 г ., пережив тем самым падение Константинополя. И не только в том, что во главе новообразованной империи встали отпрыски византийской императорской фамилии Комнинов, получившие в Трапезунде наименование Великих Комнинов и принесшие с собой идеологию византийской императорской власти. Но, пожалуй, самым важным моментом становится то, что в Трапезундской империи удалось сохранить в полной мере черты так называемой «ромейской цивилизации»: греческий язык, культуру, имперское православие, а также традиции византийской администрации.

Очерки истории Трапезундской империи, Успенский Ф.И.
Скачать и читать Очерки истории Трапезундской империи, Успенский Ф.И.
 

Простейшие примеры математических доказательств, Успенский В.А., 2009

Простейшие примеры математических доказательств, Успенский В.А., 2009.

 В брошюре доступным неспециалистам языком рассказывается о некоторых из основополагающих принципов, на которых строится наука математика: чем понятие математического доказательства отличается от понятия доказательства, принятого в других науках и в повседневной жизни, какие простейшие приёмы доказательства используются в математике, как менялось со временем представление о «правильном» доказательстве, что такое аксиоматический метод, в чём разница между истинностью и доказуемостью.
Для очень широкого круга читателей, начиная со школьников старших классов.

Простейшие примеры математических доказательств, Успенский В.А., 2009
Скачать и читать Простейшие примеры математических доказательств, Успенский В.А., 2009
 
Показана страница 1 из 3