Skip to main content
LibreTexts - Ukrayinska

Про проект «Відкрита логіка»

  1. Last updated
  2. Save as PDF
  • Page ID
    52677

    • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)

    Open Logic Text є відкритим вихідним кодом, спільний підручник формальних металогічних і формальних методів, починаючи з проміжного рівня (тобто після вступного формального курсу логіки). Хоча орієнтована на нематематичну аудиторію (зокрема, студентів філософії та інформатики), вона сувора.

    Висвітлення деяких питань, включених в даний час, може бути ще не повним, і багато розділів все ще потребують суттєвого перегляду. Ми плануємо розширити текст, щоб охопити більше тем у майбутньому. Ми також плануємо додати до тексту функції, такі як глосарій, список подальшого читання, історичні замітки, картинки, кращі пояснення, розділи, що пояснюють актуальність результатів філософії, інформатики та математики, а також інші проблеми та приклади. Якщо ви виявили помилку або маєте пропозицію, повідомте про це команді проекту.

    Проект працює в дусі open source. Текст не тільки доступний у вільному доступі, ми надаємо джерело LaTeX за ліцензією Creative Commons Attribution, яка дає кожному право завантажувати, використовувати, змінювати, перевпорядковувати, конвертувати та розповсюджувати нашу роботу, якщо вони надають належний кредит. Будь ласка, перегляньте веб-сайт проекту Open Logic за адресою openlogicproject.org для отримання додаткової інформації.