[1] Задачи по теории множеств, математической логике и теории алгоритмов [2004] Лавров И.А., Максимова Л.
[2] Андерсон Дж. Дискретная математика и комбинаторика (2004)
[3] Игошин В.И. Математическая логика и теория алгоритмов (2008)
[4] Игошин В.И. Задачи и упражнения по математической логике (2007)
[5] Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика (2006)
[6] Яблонский С.В. Введение в дискретную математику (1986)
[7] Мендельсон Э. Введение в математическую логику (1971)
[8] Выгодский М. Я. Справочник по высшей математике (1977)

Скачать книги:
vk.com/physics_math

#математика #дискретная_математика #алгоритмы #высшая_математика #логика

Задачи по теории множеств, математической логике и теории алгоритмов [2004] Лавров И.А., Максимова Л.

В книге в форме задан систематически изложены основы теории множеств. Математической логики и теории алгоритмов. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: «Теория множеств». «Математическая логика» и «Теория алгоритмов». Задачи снабжены указаниями и ответами. Вce необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использовал как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических вузах при изучении кибернетики и информатики. Для математиков - алгебраистов. логиков и кибернетиков.

Яблонский С.В. Введение в дискретную математику (1986)

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

Аляев Ю.А., Тюрин С.Ф. Дискретная математика и математическая логика (2006)

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

Андерсон Дж. Дискретная математика и комбинаторика (2004)

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

Выгодский М. Я. Справочник по высшей математике (1977)

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

Игошин В.И. Задачи и упражнения по математической логике (2007)

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения. Сборник состоит из четырнадцати параграфов в 5 главах: I. Алгебра высказываний; II. Булевы функции; III. Формализованное исчисление высказываний; IV. Логика предикатов; V. Элементы теории алгоритмов. Каждый параграф предваряется теоретическими сведениями. Особенно ценным является то, что автор в каждой серии однотипных задач (под буквами, скажем, а)- л)) приводит подробное решение одной или нескольких из них в качестве образца. То есть пособие одновременно может рассматриваться как некое руководство по решению задач.

Игошин В.И. Математическая логика и теория алгоритмов (2008)

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

Мендельсон Э. Введение в математическую логику (1971)

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

Выгодский М. Я. Справочник по высшей математике (1977)

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

Власть без мозгов. Кому мешают академики - Жорес Алферов
Власть без мозгов. Отделение науки от государства - Жорес Алферов

Власть без мозгов. Кому мешают академики - Жорес Алферов
Власть без мозгов. Отделение науки от государства - Жорес Алферов

Жорес Иванович Алферов – лауреат Нобелевской премии по физике, академик РАН, известен также своей широкой общественной деятельностью. Будучи депутатом от КПРФ Госдумы нескольких созывов, он неизменно отстаивал интересы российской науки и хорошо знал, в каком положении она находится.

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

Обо всем этом Ж. И. Алферов пишет в своей книге, делает прогнозы на будущее и предлагает конкретные мер

Физика и жизнь Жореса Алферова

Физика и жизнь Жореса Алферова
Рецензия на книгу:
https://vk.com/wall-51126445_37920

Данные ВЦИОМ говорят о том, что мы наконец пришли к тому, к чему стремились все эти 15 лет, — воспитали страну идиотов. Если Россия и дальше будет двигаться этим же курсом, то ещё лет через десять не останется и тех, кто сегодня хотя бы изредка берёт в руки книгу. И мы получим страну, которой будет легче править, у которой будет легче высасывать природные богатства. Но будущего у этой страны нет!

Читать статью: https://vk.com/wall-51126445_37929

#образование #наука #article

Компьютерное моделирование физических систем [2011] Булавин Л.A., Выгорницкий H.B., Лебовка Н.И.

Компьютерное моделирование физических систем [2011] Булавин Л.A., Выгорницкий H.B., Лебовка Н.И.

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

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

В студии у Сергея Капицы — Жорес Иванович Алферов, ректор Академического университета РАН. Лауреат Нобелевской премии по физике (2000 год, за разработку полупроводниковых гетероструктур и создание быстрых опто- и микроэлектронных компонентов). Вице-президент РАН с 1991 до 2017 года. Председатель Президиума Санкт-Петербургского научного центра РАН.

Смотреть: https://vk.com/wall-51126445_37965

#научные_фильмы #физика #образование