Языки и иcчисления. Лекции по математической логике и теории алгоритмов. Автор: Верещагин Н.К., Шень А. Издательство: М.: МЦНМО Год: 2002 Страниц: 288 Формат: pdf Размер: 1.36 Мб ISBN: 5-900916-66-9 Качество: отличное Книга написана по материалам лекций и семинаров, проводившихся авторами для студентов младших курсов мехмата МГУ. В ней рассказывается об основных понятиях математической логики (логика высказываний, языки первого порядка, выразимость, исчисление высказываний, разрешимые теории, теорема о полноте, начала теории моделей). Изложение рассчитано на учеников...
Биологическая химия Автор: А. Я. Николаев Издательство: Медицинское информационное агентство Год: 2004 Страниц: 568 Формат: pdf Размер: 14.02 Мб ISBN: 5-89481-219-4 Качество: хорошее Учебник профессора А.Я.Николаева "Биологическая химия" (издание третье, переработанное и дополненное) написан на основании многолетнего опыта преподавания одноименной дисциплины в Московской медицинской академии имени И.М.Сеченова. Предыдущие издания за короткий срок заслужили любовь и симпатию студентов в связи с четкостью изложения этой сложной науки и...
Методы оптимизации Автор: Васильев Ф.П. Издательство: Факториал Пресс Год: 2002 Страниц: 824 Формат: pdf Размер: 65.64 Мб ISBN: 5-88688-056-9 Качество: хорошее Книга содержит численные методы решения задач оптимизации. Приводятся теоретическое обоснование и краткие характеристики этих методов. Рассматриваются задачи минимизации функций в конечномерных и бесконечномерных пространствах, а также задачи оптимального управления процессами, описываемыми системами обыкновенных дифференциальных уравнений и уравнений в частных производных. Для студентов вузов по специальности...
Верификация моделей программ. Model Checking Автор: Э. М. Кларк, О. Грамберг, Д. Пелед Издательство: МЦНМО Год издания: 2002 Страниц: 416 Размер: 4,4 Мб [DJVU] В монографии всемирно известных специалистов в области математической логики и теории вычислений представлено полное и подробное изложение нового подхода к решению задачи проверки правильности функционирования сложных программных систем....
ЕГЭ: 2009 год, Математика Автор: Ишина В.И., Кочагин В.В., Денищева Л.О. и др. Издательство: АСТ, Астрель Год: 2008 Страниц: 124 Формат: djvu Размер: 3.1 mb Качество: хорошее Язык: русский Предлагаемый сборник позволяет сформировать представление об особенностях всех типов заданий, использующихся на ЕГЭ по математике. В него вошли 12 тренировочных вариантов КИМ, составленных из заданий открытого сегмента Федерального банка тестовых заданий. В сборнике содержатся ответы к заданиям тренировочных вариантов....
Физика для углубленного изучения. В 3 книгах. Книга 2. Электродинамика. Оптика Автор: Е. И. Бутиков, А. С. Кондратьев Издательство: ФИЗМАТЛИТ Год: 2004 Страниц: 336 Формат: pdf Размер: 3.8 Mb ISBN: 5-9221-0110-2, 5-9221-0108-0 Серия или Выпуск: Для углубленного изучения От издателя Учебник принципиально нового типа. Последовательность изложения соответствует логической структуре физики как науки и отражает современные тенденции ее преподавания. Материал разделен на обязательный и дополнительный, что позволяет строить процесс обучения с учетом индивидуальных способностей учащихся, включая...
Учись быть внимательным Автор: Андреев О.А. Третья ступень обучения по программе "Ультра-рапид".Цель программы "Ультра-рапид"-сверхбыстрое чтение при устойчивом состоянии внимания, со скоростью до 20000...
Тесты по биологии. 6—11 кл. Автор: Сухова Т. С. Год издания : 1998 Количество страниц: 80 Размер: 1.18 MB Предлагаемые тесты составлены в соответствии с действующими программами по биологии для средних общеобразовательных учебных заведений. В тестах заложен системный подход к обучению биологии: контролируются те ведущие понятия биологии, содержание которых расширяется и углубляется из класса в класс. Приведенные ответы ко всем тестам позволят учащимся использовать их при самоподготовке и повторении...
Введение в дискретную математику Автор: Яблонский С.В. Издательство: М.: Высшая школа Год: 2003 Страниц: 384 Формат: djvu Размер: 7.09 Мб ISBN: 5-06-004681-8 Качество: отличное (OCR-слой) Книга является введением в дискретную математику - раздел прикладной математики, бурно развивающийся в последние годы и являющийся базой для математической кибернетики. Она написана на основе курса лекций, который читал автор в течении ряда лет на факультете вычислительной математики и кибернетики Московского государственного университета.Третье...
Цветовое зрение Автор: С.В.Кравков Издательство: М.: Из-во академии наук СССР Год: 1951 Страниц: 188 Формат: djvu Размер: 14.34 Мб Качество: хорошее Цель настоящеrо очерка - осветить природу цветовоrо зрения - одного из важнейших средств познания окружающеrо...
Конспект лекций по теории вероятностей и математической статистике Автор: Письменный Д. Т. Издатель: — М.: Айрис-пресс Год: 2004 Страниц: 249 Язык: русский Формат: PDF Размер: 5,16 Мб Настоящая книга представляет собой курс лекций по теории вероятностей математической статистике. Первая часть книги содержит основные понятия и теоремы теории вероятностей, такие как случайные события, вероятность, случайные функции, корреляция, условная вероятность, закон больших чисел и предельные теоремы. Втора часть книги посвящена математической статистике, в ней...
Сборник задач по теоретическим основам электротехники Автор: Бессонов Л.А. Год издания: 1988 Формат: djvu Размер: 10,5 Мб Качество: Хорошее Язык: Русский В сборнике приведены задачи по всем разделам курса ТОЭ, даны решения некоторых из них. Представлены новые задачи по следующим темам: сверхпроводимость, электрические фильтры, установившиеся режимы и переходные процессы в линиях с распределенными параметрами, а также включены задачи на матрично-топологические методы расчета, метод интегральных уравнений для расчета электромагнитных полей и...
Концепции современного естествознания Автор: Горбачев В. В. Издательство: М.: ООО «Издательский дом «ОНИКС 21 век» Год: 2005 Страниц: 672 с. Формат: djvu - rar архив (+3%) Размер: 7, 25 Mb В учебном пособии изложены физические принципы, позволяющие объяснить окружающий нас мир живой и неживой природы с позиций современной, в том числе постнеклассической, физики. Рассмотрены общие фундаментальные физические проблемы движения материальных объектов в представлениях классической, квантовой и релятивистской...
Теория функций действительного переменного Издание второе Автор: Н.А. Фролов Издательство: ГОСУДАРСТВЕННОЕ УЧЕБНО-ПЕДАГОГИЧЕСКОЕ ИЗДАТЕЛЬСТВО МИНИСТЕРСТВА ПРОСВЕЩЕНИЯ РСФСР Год издания: 1961 Страниц: 172 Формат: DJVU Размер: 3,46 МБ Качество: Отличное, 600 дпи, цв. обл. ИЗ ПРЕДИСЛОВИя К ПЕРВОМУ ИЗДАНИЮ Теория функций действительного переменного является одним из наиболее важных предметов, изучаемых на физико-математических факультетах высших педагогических учебных заведений. С понятиями множества, действительного числа, функции, предела, непрерывности функции, измерения множеств, которые составляют...
Математика ставит эксперимент Автор: Никита Николаевич Моисеев Издательство: Наука Год издания: 1979 Страниц: 224 Формат: DJVU Размер: 6,9 МБ ISBN: Качество: Отличное, 600 дпи, цветные обложки В книге излагается авторская концепция прикладной математики, ее зарождения, становления и развития. Приводятся научно обоснованные истоки многих направлений прикладной математики, ее связь с классическими разделами математики, с физикой, механикой. Много места уделено вопросу возникновения задач прикладной математики из...
Геометрические неравенства и задачи на максимум и минимум Автор: Давид Оскарович Шклярский, Николай Николаевич Ченцов, Исаак Моисеевич Яглом Издательство: Наука Год издания: 1970 Страниц: 336 Формат: DJVU Размер: 7,83 МБ Качество: Хорошее, 600 дпи, цветные обложки Книга представляет собой сборник задач с указаниями и подробными решениями. Все задачи посвящены оценкам геометрических величин, чаще всего связанных с треугольником и тетраэдром. Ряд задач заимствован из недавних научных работ; однако, в книге нет ни одной...