Forwarded from Непрерывное математическое образование
Хотелось бы напомнить про трехтомник Верещагина и Шеня «Лекции по математической логике и теории алгоритмов».
Часть 1. Начала теории множеств
https://mccme.ru/free-books/shen/shen-logic-part1-2.pdf
«Основные понятия теории множеств (мощности, трансфинитная индукция, ординалы) входят в число вещей, которые хорошо бы знать любому грамотному математику (даже если он не является математическим логиком или общим топологом). Обычно про них коротко пишут в первых главах учебников анализа, алгебры или топологии, спеша перейти к основной теме книги. А жаль — предмет достаточно интересен, важен и прост, чтобы рассказать о нём не торопясь.
Именно такой популярный рассказ мы пытались написать, имея в виду самых разных читателей: от подготовленного школьника (захотевшего перейти от побед на олимпиадах к чему-то более осмысленному) до профессионального математика (решившего прочитать по дороге на отдых, что же такое трансфинитная индукция, которую всегда заменяют леммой Цорна).»
Часть 2. Языки и исчисления
https://mccme.ru/free-books/shen/shen-logic-part2-2.pdf
«Центральная идея математической логики восходит ещё к Лейбницу и состоит в том, чтобы записывать математические утверждения в виде последовательностей символов и оперировать с ними по формальным правилам. (…) революционная программа Лейбница построения формальных оснований математики осуществилась, но незаметно: под здание математики подвели новый (и довольно прочный) фундамент, но большинство жильцов про это до сих пор не знают.
(…)
В этой книжке мы расскажем об одном из центральных понятий математической логики — языках и исчислениях первого порядка. В этих языках используются логические связки «и», «или», «если… то…», а также кванторы «для всех» и «существует». Оказывается, что этих средств достаточно для формализации математических теорий и что можно построить простые формальные правила, полностью отражающие смысл этих логических средств.»
Часть 3. Вычислимые функции
https://mccme.ru/free-books/shen/shen-logic-part3-2.pdf
«Теория вычислимых (с помощью компьютеров) функций появилась в 1930-е годы, когда никаких компьютеров ещё не было. Первые компьютеры были разработаны в 1940-х годах, и среди их разработчиков был английский математик Алан Тьюринг, один из создателей теории вычислимых функций.
(…)
Мы сознательно не касаемся теории сложности вычислений — это большая и отдельная тема. Вместо этого мы попытались отобрать центральные понятия и факты общей теории алгоритмов и изложить их понятно, стараясь не заслонять простые общие идеи техническими деталями. Мы не предполагаем никаких специальных предварительных знаний, хотя рассчитываем на некоторый уровень математической культуры.»
Часть 1. Начала теории множеств
https://mccme.ru/free-books/shen/shen-logic-part1-2.pdf
«Основные понятия теории множеств (мощности, трансфинитная индукция, ординалы) входят в число вещей, которые хорошо бы знать любому грамотному математику (даже если он не является математическим логиком или общим топологом). Обычно про них коротко пишут в первых главах учебников анализа, алгебры или топологии, спеша перейти к основной теме книги. А жаль — предмет достаточно интересен, важен и прост, чтобы рассказать о нём не торопясь.
Именно такой популярный рассказ мы пытались написать, имея в виду самых разных читателей: от подготовленного школьника (захотевшего перейти от побед на олимпиадах к чему-то более осмысленному) до профессионального математика (решившего прочитать по дороге на отдых, что же такое трансфинитная индукция, которую всегда заменяют леммой Цорна).»
Часть 2. Языки и исчисления
https://mccme.ru/free-books/shen/shen-logic-part2-2.pdf
«Центральная идея математической логики восходит ещё к Лейбницу и состоит в том, чтобы записывать математические утверждения в виде последовательностей символов и оперировать с ними по формальным правилам. (…) революционная программа Лейбница построения формальных оснований математики осуществилась, но незаметно: под здание математики подвели новый (и довольно прочный) фундамент, но большинство жильцов про это до сих пор не знают.
(…)
В этой книжке мы расскажем об одном из центральных понятий математической логики — языках и исчислениях первого порядка. В этих языках используются логические связки «и», «или», «если… то…», а также кванторы «для всех» и «существует». Оказывается, что этих средств достаточно для формализации математических теорий и что можно построить простые формальные правила, полностью отражающие смысл этих логических средств.»
Часть 3. Вычислимые функции
https://mccme.ru/free-books/shen/shen-logic-part3-2.pdf
«Теория вычислимых (с помощью компьютеров) функций появилась в 1930-е годы, когда никаких компьютеров ещё не было. Первые компьютеры были разработаны в 1940-х годах, и среди их разработчиков был английский математик Алан Тьюринг, один из создателей теории вычислимых функций.
(…)
Мы сознательно не касаемся теории сложности вычислений — это большая и отдельная тема. Вместо этого мы попытались отобрать центральные понятия и факты общей теории алгоритмов и изложить их понятно, стараясь не заслонять простые общие идеи техническими деталями. Мы не предполагаем никаких специальных предварительных знаний, хотя рассчитываем на некоторый уровень математической культуры.»
Forwarded from PythonDigest
Внутренности словаря в Python - объяснимое объяснение
https://just-taking-a-ride.com/inside_python_dict/
https://just-taking-a-ride.com/inside_python_dict/
Forwarded from Типичный программист
NLP: как стать специалистом по обработке естественного языка
https://tprg.ru/BbkC
Вместе с развитием сферы Data Science растёт и востребованность в кадрах для этой отрасли. Как же стать специалистом в такой части анализа данных, как обработка естественного языка?
В статье рассказываем:
— чем занимаются специалисты по NLP,
— в каких вузах учиться, чтобы стать специалистом по NLP,
— какие очные и онлайн курсы стоит пройти.
#datascience
https://tprg.ru/BbkC
Вместе с развитием сферы Data Science растёт и востребованность в кадрах для этой отрасли. Как же стать специалистом в такой части анализа данных, как обработка естественного языка?
В статье рассказываем:
— чем занимаются специалисты по NLP,
— в каких вузах учиться, чтобы стать специалистом по NLP,
— какие очные и онлайн курсы стоит пройти.
#datascience
Forwarded from Типичный программист
На GitHub можно найти очень много полезных ссылок и обучающих материалов по самым разным IT-темам.
Вот, например, подборка подборок годных материалов на любой вкус (часть из которых тоже подборки): https://bit.ly/2SC0Qmx
Проекты, книги, либы, фреймворки, видосы, куча туториалов и другого образовача — всё, как правило, объединено по областям и направлениям разработки, поэтому искать просто и удобно.
Вот, например, подборка подборок годных материалов на любой вкус (часть из которых тоже подборки): https://bit.ly/2SC0Qmx
Проекты, книги, либы, фреймворки, видосы, куча туториалов и другого образовача — всё, как правило, объединено по областям и направлениям разработки, поэтому искать просто и удобно.
Forwarded from Типичный программист
Ловите игру, в которой вам нужно будет спроектировать простейший компьютер: https://tprg.ru/EdR2
Всё, что вам дадут в самом начале, — бинарный NAND-блок. Используя его в качестве основного компонента, вы сможете создать все другие необходимые блоки и собрать целый компьютер.
Отличная игра для изучения основ вычислительной техники.
#обучение #игры
Всё, что вам дадут в самом начале, — бинарный NAND-блок. Используя его в качестве основного компонента, вы сможете создать все другие необходимые блоки и собрать целый компьютер.
Отличная игра для изучения основ вычислительной техники.
#обучение #игры
