Ершов

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987.

   В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987
Скачать и читать Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987
 

Англо-русский словарь по ядерной физике и технике, Воскобойник Д.И., Ершов Н.Н., Семенов Ю.В., Циммерман М.Г., Черный А.И., 1955

Англо-русский словарь по ядерной физике и технике, Воскобойник Д.И., Ершов Н.Н., Семенов Ю.В., Циммерман М.Г., Черный А.И., 1955.
   
   Настоящий словарь является первым в нашей стране пособием для перевода литературы на английском языке по вопросам ядерной физики и техники.
В словарь вошло около 15 000 терминов, относящихся как непосредственно к ядерной физике и технике, так и к ряду смежных дисциплин (металлургия, химия, электротехника и др). Включено некоторое количество медицинских и биологических терминов и названия ряда минералов, содержащих уран или торий. Наряду с научными терминами в словаре приводятся названия зарубежных организаций, занимающихся вопросами ядерной физики и техники, а также названия специальных периодических изданий. В приложении даются наиболее употребительные сокращения и условные обозначения. Отдельным списком даны те географические названия, которые часто встречаются в специальной литературе.

Англо-русский словарь по ядерной физике и технике, Воскобойник Д.И., Ершов Н.Н., Семенов Ю.В., Циммерман М.Г., Черный А.И., 1955
Скачать и читать Англо-русский словарь по ядерной физике и технике, Воскобойник Д.И., Ершов Н.Н., Семенов Ю.В., Циммерман М.Г., Черный А.И., 1955
 

Геометрия, 9 класс, Ершова А.П., Голобородько В.В., Крижановский А.Ф., Ершов С.В., 2009

Геометрия, 9 класс, Ершова А.П., Голобородько В.В., Крижановский А.Ф., Ершов С.В., 2009.

  В этом учебном году завершается изучение планиметрии геометрии на плоскости. Прежде чем приступить к занятиям, повторите основные понятия и теоремы, которые изучались в 7—8 классах. Все они относятся к элементарной (евклидовой) геометрии и известны еще со времен Древней Греции. В девятом классе вы познакомитесь с геометрическими методами, которые были открыты значительно позже, в XIV—XX вв.. — координатным, векторным и методом геометрических преобразований. Эти методы широко применяются в технике и естественных науках, прежде всего в физике. Их изучение поможет вам лучше понять некоторые физические законы. Вообще геометрию 9 класса можно без преувеличения назвать геометрией методов.

Геометрия, 9 класс, Ершова А.П., Голобородько В.В., Крижановский А.Ф., Ершов С.В., 2009
Скачать и читать Геометрия, 9 класс, Ершова А.П., Голобородько В.В., Крижановский А.Ф., Ершов С.В., 2009
 

Технология рыбы и рыбных продуктов, Ершов А.М., 2006

Технология рыбы и рыбных продуктов, Ершов А.М., 2006.
 
   Рекомендовано Учебно-методическим объединением по образованию в области технологии сырья и продуктов животного происхождения в качестве учебника для студентов высших учебных заведений, обучающихся по направлению 260300 «Технология сырья и продуктов животного происхождения», по специальности 260302 «Технология рыбы и рыбных продуктов»; 240902 «Пищевая биотехнология», 200503 «Стандартизация и сертификация».

Технология рыбы и рыбных продуктов, Ершов А.М., 2006
Скачать и читать Технология рыбы и рыбных продуктов, Ершов А.М., 2006
 

Элементы компьютерной математики, Ершов С.С., 2003

Элементы компьютерной математики, Ершов С.С., 2003.

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

Фрагмент из книги.
В методе испытания термов (простых импликант) ТДНФ находится по СкДНФ. Один из термов (по очереди) исключают. Оставшееся выражение дает 0 при f (CкДНФ) = 0. Однако при f (СкДНФ) = 1 оставшееся выражение может давать 0, т.е. единица в СкДНФ обеспечивалась удаленным термом. Значит, испытываемый терм нелишний, исключать его нельзя. Проверку оставшегося выражения на 1 необходимо произвести, таким образом, на всех наборах аргументов, где испытываемый терм имеет значение 1. Если оставшееся выражение всюду единично, то испытываемый терм лишний.
Затем то же самое проделывают с оставшимся выражением (проход «в глубину»). При этом уже испытанные и оказавшиеся нелишними термы повторно не исключаются.
После нахождения первой ТДНФ все начинается сначала, но испытывается следующий по порядку терм и т.д.
Метод испытания термов явно неудобен при большом количестве термов (простых импликант) в СкДНФ.

Элементы компьютерной математики, Ершов С.С., 2003

Скачать и читать Элементы компьютерной математики, Ершов С.С., 2003
 

Математическая логика, Ершов Ю.Л., Палютин Е.А., 2011

Математическая логика, Ершов Ю.Л., Палютин Е.А., 2011.

  В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги — теория моделей и теория доказательств — изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для специальных курсов.
Рекомендовано УМС по математике и механике УМО по классическому университетскому образованию РФ в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлениям и специальностям: «Математика», «Прикладная математика и информатика», «Механика».

Математическая логика, Ершов Ю.Л., Палютин Е.А., 2011
Скачать и читать Математическая логика, Ершов Ю.Л., Палютин Е.А., 2011
 

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987.

   В книге наложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.

Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987
Скачать и читать Математическая логика, Ершов Ю.Л., Палютин Е.А., 1987
 

Курс физики, Ершов А.П., Федотович Г.В., Харитонов В.Г., Прууэл Э.Р., Медведев Д.А.

Курс физики, Ершов А.П., Федотович Г.В., Харитонов В.Г., Прууэл Э.Р., Медведев Д.А.

  Интернет-курс физики составлен на основе опыта преподавания в физико-математической школе (ФМШ) при Новосибирском государственном университете. Курс предназначен для использования в школах и классах с углубленным изучением физики. Курс или отдельные его разделы могут применяться и в обычных школах, и индивидуально, если у учеников имеется потребность расширить свои знания.

Курс физики, Ершов А.П., Федотович Г.В., Харитонов В.Г., Прууэл Э.Р., Медведев Д.А.
Скачать и читать Курс физики, Ершов А.П., Федотович Г.В., Харитонов В.Г., Прууэл Э.Р., Медведев Д.А.
 
Показана страница 1 из 2