!!Внимание!!
Для того чтобы лучше использовать наши ресурсы, нажав здесь , и стать одним из участников нашего проекта!

: : Разделы сайта : :
: : Популярное : :
: : Облако тегов : :
: : Немного рекламы : :

Обратная связьСвязь с администрацией

: : Цитата : :
Ибо все его страстные метафоры слишком напоминали предварительные ласки за пять минут до постели. Эти юные девы просто физически ощущали, как он гладит их по спине элегантными формулами, шепча на ушко жаркие теоремы…
1Q84
© Харуки Мураками
: :События: :

Праздник или знаменательная дата отсутствует
: : Последние комментарии : :
Автор → Mpak
в новости → Когда она ушла
Автор → oybekt
в новости → Когда она ушла
Автор → Mpak
в новости → Когда она ушла
Автор → poffigistka
в новости → Искусство быть эгоистом


Все комментарии
: : Опрос сайта : :
: : Топ пользователей сайта: :
1. Ник: oybekt - Медалей: 8
2. Ник: Mpak - Медалей: 6
3. Ник: magway - Медалей: 2
4. Ник: poffigistka - Медалей: 1

1. Ник: oybekt - Очков: 915
2. Ник: Mpak - Очков: 215
3. Ник: magway - Очков: 25
4. Ник: poffigistka - Очков: 10

: : Популярное за весь период: :
Научно-популярное / Образование
11 ноября 2012
Автор: П.С.Новиков
Формат: djvu
Размер: 5,2 Мб
Язык: русский
Краткое описание: В книге подробно излагается весь нужный по ходу материал, относящийся к классическим логическим исчислениям. В книге рассматриваются интерпретации конструктивных формальных систем в классических терминах и с использованием средств классической математики.
Научно-популярное / Образование
11 ноября 2012
Формат: djvu
Размер: 3,7 Мб
Язык: русский
Краткое описание: Книга посвящена так называемой поведенческой теории конечных автоматов, в которой функционирование автомата изучают, отвлекаясь от его структуры. Закономерности поведения автомата интересны сами по себе и имеют большое значение для решения общей проблемы синтеза автоматов.

В книге систематически излагаются результаты, появившиеся в последнее время в периодической литературе как в нашей стране, так и за рубежом. Эти результаты позволяют по-новому решать проблему синтеза, используя формальные языки математической логики и методы, основанные на анкетировании (опросе) заказчика.
Научно-популярное / Образование
11 ноября 2012
Автор: В.М.Глушков
Формат: djvu
Размер: None
Язык: 5,3 Мб
Краткое описание: Задача синтеза схем электронных цифровых машин с программным управлением входит в качестве частного случая в более общую задачу синтеза схем цифровых автоматов. Важность этой задачи обусловливается тем, что в настоящее время в целом ряде областей происходит процесс быстрого вытеснения старых средств автоматики, основанных на принципе непрерывности, дискретными автоматическими устройствами.
Научно-популярное / Образование
11 ноября 2012
Автор: Дж.Шенфилд
Формат: djvu
Размер: 5,2 Мб
Язык: русский
Краткое описание: Книга известного американского логика Дж. Шенфилда знакомит читателя с основами современной математической логики и теории алгоритмов. В книге систематически изучаются такие важные разделы, как теории первого порядка, теория моделей, вычислимость, иерархии, формальная арифметика, аксиоматическая теория множеств. Имеются два приложения: одно алгебраическое - проблема тождества слов в группах, другое - изложение результатов, связанных с исследованиями континуум-гипотезы в аксиоматической теории множеств.
Научно-популярное / Образование
11 ноября 2012
Автор: Б.А.Кушнер
Формат: djvu
Размер: 4,8 Мб
Язык: русский
Краткое описание: Как известно, к началу 20-го века, благодаря работам Коши, Больцано, Вейерштрасса, и др., математический анализ получил свое обоснование на базе канторовской теории множеств. Теоретико-множественные методы позволили перейти от расплывчатых «динамических» концепций старого анализа бесконечно малых к строгой статической. системе понятий современной теории пределов…
Научно-популярное / Образование
11 ноября 2012
Формат: djvu
Размер: 2,3 Мб
Язык: русский
Краткое описание: В последнее время результаты Поста дали выход за пределы алгебры логики. Они нашли свое приложение в решении вопросов синтеза управляющих систем и в исследовании надежности управляющих систем. Результаты Поста являются существенным вкладом в алгебру логики и расширяют возможности ее приложений. Знакомство с этими исследованиями будет, несомненно, интересным для специалистов в области логики, алгебры и теоретической кибернетики.
Научно-популярное / Образование
11 ноября 2012
Автор: П.С.Новиков
Формат: djvu
Размер: 6,5 Мб
Язык: русский
Краткое описание: В настоящей книге сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие ее основное содержание. Последняя, шестая, глава носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются некоторые вопросы математической логики, возникающие в основном тексте книги.
Научно-популярное / Образование
11 ноября 2012
Формат: djvu
Размер: 2,1 Мб
Язык: русский
Краткое описание: В книге дается полное доказательство алгоритмической неразрешимости 10-й проблемы Гильберта, касающейся диофантовых уравнений, вместе с необходимыми сведениями из теории алгоритмов и теории чисел, а также приложения развитой для этого техники к другим массовым проблемам теории чисел, алгебры, анализа, теоретического программирования. Для математиков, в том числе аспирантов и студентов старших курсов.
Научно-популярное / Образование
11 ноября 2012
Автор: А.Робинсон
Формат: djvu
Размер: 3,2 Мб
Язык: русский
Краткое описание: Настоящая книга посвящена теории моделей - одной из самых молодых отраслей современной математики, возникшей на стыке алгебры и математической логики. Основное содержание книги составляют известная теорема Геделя о полноте узкого исчисления предикатов и ее применение к различным теориям, сформулированным на языке этого исчисления.
Научно-популярное / Познавательное
10 ноября 2012
Автор: www.lonelyplanet.com
Цикл:  -
Формат: pdf
Размер: 9,4 Mb
Язык: english
Краткое описание: Russia’s ambitions turned eastward towards the immense Siberian hinterland and distant Pacific coastline. Russia sought to consolidate existing holdings and to extend her influence in the region. At stake was Russia’s claim over the still undeveloped and even undiscovered natural wealth of inner Eurasia. But these ambitions were checked by the Russian state’s limited reach across these far-flung eastern territories. Until this time, the distance between St.Petersburg and the Pacific was measured in an arduous overland trek or a hazardous sea voyage. The solution was found in the construction of the world’s longest railroad, the Great Siberian Railway.