SCI Библиотека

На примере гипотезы Кнезера автор рассказывает о топологических методах современной комбинаторики. Книга основана на лекциях, которые автор читал в 2008 г. в Дубне на школе «Современная математика».

Книга будет интересна всем, кто интересуется современной комбинаторикой и ее приложениями.

Шестая книжка серии «Школьные математические кружки» посвящена различным подходам к сравнению и вычислению площадей и объёмов и предназначена для занятий со школьниками 6–11 классов.

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

В приложении имеются различные варианты раздаточного материала. Брошюра адресована школьным учителям математики и руководителям математических кружков. Надеемся, что она будет интересна школьникам и их родителям, студентам педагогических вузов, а также всем любителям математики.

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

Основное место в сборнике занимает отчет «Статистики цитирования», подготовленный по инициативе Международного математического союза. К нему добавлен ряд других статей на эту же тему.

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

Рассмотрены основные формальные аксиоматические теории  элементарная арифметика и теория множеств Цермело-Френкеля. Теория алгоритмов представлена теорией вычислимости, в рамках которой дано несколько точных определений понятия алгоритма и доказана неразрешимость некоторых проблем. Дополнительная глава посвящена исчислению для формального доказательства правильности программ некоторого императивного языка программирования. В данной книге имеется более 190 упражнений.

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

История развития античной цивилизации — это во многом история путешествий. Цели передвижений, как легендарных, так и реальных, были разнообразны: политические конфликты, войны, поиски новых земель, торговля. За пределы родной земли отправлялись те, кого гнали в дорогу пытливость и любознательность или же страсть к приключениям и смелым авантюрам. Это освоение окружающего мира и отразились в многочисленных подвигах героев и деяниях богов.

Книга предназначена для широкого круга читателей.

Сборник «Задачи для детей от 5 до 15 лет» вызвал много отзывов. И дети, и взрослые читатели часто сожалели, что там были только математические задачи, — ведь и всё естествознание заслуживает столь же активного, творческого к себе отношения. Теперь я отвечаю на эти пожелания — следуя скорее Яну Амосу Каменскому, чем современным педагогам, то есть всегда стремясь быть понятным читателю, не имеющему предварительных знаний (но столь же любознательному, как большинство подростков).

Эта книга представляет собой сборник теорем классической геометрии, сформулированных в виде картинок.

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

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

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

Учебное пособие разработано в соответствии с программой ГОС ВПО ДЛЯ студентов трехуровневой системы подготовки и содержит: историю становления и развития маслоделия; теоретические и практические аспекты производства масла и пасты масляной из коровьего молока; общие технологические схемы производства масла различными способами; частные технологии традиционных видов масла из коровьего молока, масла с повышенным содержанием влаги, масла с вкусовыми компонентами, консервных видов масла, топленого масла, пасты масляной, спредов и топленых жиров.

В книге представлена информация, актуализированная в соответствии с Федеральным законом РФ от 12 июня 2008 «Технический регламент на молоко и молочную продукцию» № 88-ФЗ.

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

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

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