Название: Определимость и вычислимость
Автор: Ершов Ю.Л.
Издательство: Научная книга
Год: 1996
Формат: PDF
Страниц: 300
Размер: 22.2 MB
Язык: Русский

В книге дается новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами; новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Включены также избранные темы, посвященные ?-определимости, динамической логике, ?-предикатам конечных типов.

Название: ЕГЭ 2018. История. Типовые тестовые задания. 14 вариантов заданий
Автор: Курукин И.В., Лушпай В.Б., Тараторкин Ф.Г.
Издательство: ЭКЗАМЕН
Жанр: Обучение
Год издания: 2018
Страниц: 225
ISBN: 978-5-377-12360-6
Язык: Русский
Формат: FB2/EPUB/RTF/MOBI
Качество: хорошее
Размер: 15 Мб

Авторы заданий - ведущие ученые, преподаватели и методисты, принимающие непосредственное участие в разработке контрольных измерительных материалов ЕГЭ. Типовые тестовые задания по истории содержат 14 вариантов комплектов заданий, составленных с учетом всех особенностей и требований Единого государственного экзамена в 2018 году.

Название: Лекции о вычислимых функциях
Автор: Успенский В.А.
Издательство: М.: Государственное издательство физико-математической литературы
Год: 1960
Формат: DjVu
Страниц: 491
Размер: 10 MB
Язык: Русский

Понятия алгоритма и вычислимой функции являются одними из центральных понятий современной математики. Их роль в математике середины XX в. можно, пожалуй, сравнить с ролью понятия множества в математике конца XIX в. Настоящие «Лекции» посвящены изложению основ теории вычислимых функций (проводимому на базе принятого в настоящее время отождествления их — для случая" функций с натуральными аргументами и значениями — с частично-рекурсивными функциями), а также некоторым приложениям этой теории. (Из авторского предисловия).

Название: Всероссийская проверочная работа. Биология. 11 класс. Типовые задания. 10 вариантов
Автор: Мазяркина Т.В.
Издательство: М.: Экзамен
Год: 2018
Формат: pdf
Страниц: 96
Размер: 19 mb
Язык: русский

Данное пособие полностью соответствует федеральному государственному образовательному стандарту (второго поколения). Книга содержит 10 вариантов типовых заданий Всероссийской проверочной работы (ВПР) по биологии для учащихся 11 -х классов. Сборник предназначен для обучающихся 11 -х классов, учителей и методистов, использующих типовые задания для подготовки к Всероссийской проверочной работе по биологии.

Название: Быстрый и простой способ выучить таблицу умножения
Автор: Плигина Я.Н
Издательство: Аст
Год: 2012
Формат: pdf, jpg
Страниц: 12
Размер: 17 Mb
Язык: Русский

Если приложить волшебную закладку к левой колонке на каждой странице, ответы исчезнут. С помощью этой закладки можно закрепить пройденный материал и проверить свои знания.

Название: Оптимизация стохастических систем. Optimization of Stochastic Systems
Автор: Аоки M.
Издательство: М.: Наука
Год: 1971
Страниц: 424
Формат: djvu
Размер: 13,61 Мб
Язык: Русский

Проблема оптимальности занимает сейчас центральное место в теории автоматического управления. В книге рассматриваются вопросы синтеза оптимальных систем с неполной информацией методами теории статистических решений.

Название: Теория вероятностей с решением типовых примеров и задач
Автор: Чумаков Ф.В., Василец С.И.
Издательство: Минск: БГПУ им. М.Танка
Год: 2009
Формат: pdf
Страниц: 166
Размер: 11 mb
Язык: Русский

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

Название: Эксперимент в физике. Физический практикум
Автор: Шутов В.И., Сухов В.Г., Подлесный Д.В.
Издательство: М.: Физматлит
Год: 2005
Формат: pdf, djvu
Страниц: 184
Размер: 10 mb
Язык: Русский

Описаны экспериментальные работы, входящие в программу физико-математических лицеев в рамках физического практикума. Пособие представляет собой попытку создания единого руководства для проведения практических занятий в классах и школах с углубленным изучением физики, а также для подготовки к экспериментальным турам олимпиад высокого уровня.

Название: Основы безопасности жизнедеятельности 10 класс
Автор: Фролов М.П., Литвинов Е.Н., Смирнов А.Т.
Издательство: Харвест
Жанр: Обучение
Год издания: 2008
Страниц: 358
ISBN: 978-5-17-037216-4, 978-5-271-13968-0
Язык: Русский
Формат: DJVU
Качество: Хорошее
Размер: 11 Мб

Учебник "Основы безопасности жизнедеятельности" для 10 класса создан большим коллективом преподавателей и специалистов в области безопасности человека на основе обязательного минимума содержания образования и доработан с учетом нового федерального компонента образовательных стандартов.

Название: Безопасность жизнедеятельности и охрана труда
Автор: Фролов А.В., Бакаева Т.Н.
Издательство: Феникс
Жанр: Обучение
Год издания: 2008
Страниц: 750
ISBN: 978-5-222-13424-5
Язык: Русский
Формат: PDF
Качество: Хорошее
Размер: 23 Мб

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