Библиотека · RAG и база знаний
Логика
Учебники по формальной логике.
Скоро
БесплатноMac, Windows и Linuxот MOZGII, Inc.
О приложении Логика.
Множества, доказательства, логика высказываний и предикатов, вычислимость и многое другое.
Подходит для
- Домашние задания по логике
- Методы доказательств
- Философия математики
Источник
Open Logic Project. Лицензия: CC BY 4.0.
Создано MOZGII, Inc.
Вам может понравиться.
- FFmpegНарезает, объединяет и конвертирует любые видео- и аудиофайлы.Получить
- YouTube AnalyticsПоказывает реальные показатели эффективности ваших видео и канала.Получить
- YouTube DataУправляет видео, плейлистами и комментариями вашего канала.Получить
- YouTube ReportingЕжедневные сводные отчеты для крупных каналов и сетей.Получить
