курс

Введение в математическую логику

23176 студентов
Последнее обновление: 24 июля 2025
Курс Введение в математическую логику
3 900 ₽ в месяц
за все курсы Хекслета
Зарегистрироваться
  • Бессрочный доступ к теории
  • Асинхронный формат
    обучения

Включено в курс

11 уроков (видео и/или текст)
6 проверочных тестов
Самостоятельная работа
Дополнительные материалы
Доступ к остальным курсам платформы

Чему вы научитесь

  • Переводить высказывания с естественного языка на формальный математический язык
  • Предлагать ясные, однозначные и простые интерпретации высказываний, которые будут близки к формальным математическим понятиям
  • Оперировать базовыми правилами логики

Описание

На этом курсе вы изучите язык математики и узнаете его базовые правила — они помогут яснее рассуждать и доносить свои мысли. Формальная логика пригодится, если вы станете инженером-программистом, займетесь аналитикой данных или решите изучать программирование на продвинутом уровне. Математика и логика помогают программистам быстрее учиться, смотреть на код под другим углом и мыслить по-новому.

таблица истинности предикаты нормальная форма логические высказывания множества аксиомы

Программа курса

Продолжительность 3 часа

Формат обучения

Рекомендуемые программы

профессия
Фронтенд-разработчик
Верстка на HTML5 и CSS3, Программирование на JavaScript в браузере, разработка клиентских приложений используя React
10 месяцев •
с нуля
Старт 31 июля
профессия
Python-разработчик
Программирование на Python, Разработка веб-приложений и сервисов используя Django, проектирование и реализация REST API
10 месяцев •
с нуля
Старт 31 июля
профессия
Инженер по ручному тестированию
Тестирование веб-приложений, чек-листы и тест-кейсы, этапы тестирования, DevTools, Postman, SQL, Git, HTTP/HTTPS, API
4 месяца •
с нуля
Старт 31 июля
профессия
Java-разработчик
Программирование на Java, Разработка веб-приложений и микросервисов используя Spring Boot, проектирование REST API
10 месяцев •
с нуля
Старт 31 июля
профессия
новый
GO-разработчик
Переменные, константы, функции, типы данных, коллекции в Go, обработка ошибок, горутины, каналы, многопоточность, Fiber
10 месяцев •
c опытом
в разработке
Старт 1 августа
профессия
новый
Аналитик данных
Google таблицы, SQL, Python, Superset, Tableau, Pandas, визуализация данных, Anaconda, Jupyter Notebook, A/B-тесты, ROI
9 месяцев •
с нуля
Старт 31 июля
профессия
РНР-разработчик
Программирование на PHP, Разработка веб-приложений и сервисов используя Laravel, проектирование и реализация REST API
10 месяцев •
с нуля
Старт 31 июля
профессия
Разработчик на Ruby on Rails
Программирование на Ruby, Разработка веб-приложений и сервисов используя Rails, проектирование и реализация REST API
5 месяцев •
c опытом
Старт 31 июля
профессия
Fullstack-разработчик на Node.js
Программирование на JavaScript в браузере и на сервере (Node.js), разработка бекендов на Fastify и фронтенда на React
16 месяцев •
с нуля
Старт 31 июля
профессия
Node.js-разработчик
Программирование на JavaScript, разработка веб-приложений, bff и сервисов используя Fastify, проектирование REST API
10 месяцев •
с нуля
Старт 31 июля
профессия
новый
Автоматизатор тестирования на JavaScript
Git, JavaScript, Playwright, бэкенд-тесты, юнит-тесты, API-тесты, UI-тесты, Github Actions, HTTP/HTTPS, API, Docker, SQL
8 месяцев •
c опытом
Старт 31 июля
профессия
новый
Разработчик С#
10 месяцев •
с нуля
в разработке
Старт 1 августа
профессия
новый
Fullstack-разработчик на PHP
Программирование на JavaScript и PHP, разработка веб-приложений и сервисов используя Laravel, проектирование REST API и работа с базами
16 месяцев •
с нуля
Старт 31 июля
профессия
новый
Fullstack-разработчик на Python
Программирование на JavaScript и Python, разработка веб-приложений и сервисов используя Django, проектирование REST API и работа с базами данных
16 месяцев •
с нуля
Старт 31 июля
профессия
новый
Fullstack-разработчик на Java
Разработка фронтенд- и бэкенд-компонентов для веб-приложений на Spring Boot и React
16 месяцев •
с нуля
Старт 31 июля
профессия
новый
Инженер данных
10 месяцев •
с нуля
в разработке
дата определяется
профессия
новый
Системный аналитик
6 месяцев •
с нуля
в разработке
дата определяется
профессия
новый
DevOps-инженер с нуля
Полное погружение в DevOps: весь стек от Linux до Kubernetes. Подойдет новичкам и ИТ специалистам меняющим направление
14 месяцев •
с нуля
в разработке
Старт 1 августа
профессия
новый
Разработчик С++
10 месяцев •
с нуля
в разработке
Старт 1 августа
профессия
новый
DevOps для разработчиков
Автоматизация окружения, деплой, масштабирование, Github Actions, Docker, Ansible, Terraform, инфраструктура как код
3 месяца •
c опытом
в разработке
Старт 31 июля
профессия
новый
Системный администратор
10 месяцев •
с нуля
в разработке
дата определяется