Научные труды и учебные материалы. От конкретного вопроса — к книге и собственному маршруту обучения.
Карта областей знаний · Математика: 51 тема и 235 книг
Учебное издание в тематической подборке «Введение в логику». Имена в источнике: Patrick J. Hurley. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Shawn Hedman. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Аксиоматическая теория множеств». Имена в источнике: Michael L. O'Leary. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Christopher C. Leary. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Herbert Enderton. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Доказательства и дискретная математика». Имена в источнике: Richard Hammack. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Аксиоматическая теория множеств». Имена в источнике: Derek Goldrei. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Аксиоматическая теория множеств». Имена в источнике: Herbert Enderton. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Аксиоматическая теория множеств». Имена в источнике: A. A. Fraenkel, Y. Bar-Hillel, A. Levy. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Доказательства и дискретная математика». Имена в источнике: Daniel J. Velleman. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Elliott Mendelson. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Доказательства и дискретная математика». Имена в источнике: Charles E. Roberts. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Аксиоматическая теория множеств». Имена в источнике: Karel Hrbacek, Thomas Jech. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Ian Chiswell, Wilfrid Hodges. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Коллективный развивающийся учебник по формальной логике и формальным методам. Предполагает знакомство с основами логики; состав и степень готовности разделов могут меняться. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Учебное издание в тематической подборке «Доказательства и дискретная математика». Имена в источнике: Ethan D. Bloch. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Математическая логика и теория моделей». Имена в источнике: Derek Goldrei. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Учебное издание в тематической подборке «Введение в логику». Имена в источнике: Frances Howard-Snyder, Daniel Howard-Snyder, Ryan Wasserman. Библиографическая карточка создана по mathematics-roadmap. Внутри одной темы книги могут дополнять или заменять друг друга; выбор зависит от подготовки читателя. Конкретное издание и его выходные данные требуют уточнения.
Теоретический курс о конечных автоматах, формальных языках и моделях вычислений. От описания распознаваемых языков он переходит к вопросам вычислимости и ресурсных ограничений алгоритмов. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Соединяет разбор повседневных рассуждений с освоением понятий и методов формальных логических систем. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Введение в формальную логику и методы анализа правильности рассуждений. Работа с формальными языками и доказательствами позволяет отделять структуру вывода от содержания утверждений. Комплект курса на английском языке; здесь представлена карточка со ссылками на материалы MIT OpenCourseWare.
Учебная переработка геометрического наследия Евклида для школьных и вводных университетских курсов доказательств. Это современный учебный труд, а не повтор карточки исторического оригинала. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.
Доступное введение в логику и критическое мышление. Учит строить аргументы и оценивать рассуждения в научных, этических, религиозных и повседневных обсуждениях. Материал на английском языке; доступ к оригиналу указан в источниках.
Курс теоретических основ информатики: доказательства, множества и отношения, регулярные выражения, конечные автоматы и формальные грамматики. Завершающие разделы посвящены машинам Тьюринга и границам вычислимости. Карточка ведёт к оригинальному учебному материалу; полный текст на Libreta не размещён.