• Главная
  • Контакты
Подписаться:
  • Twitter
  • Facebook
  • RSS
  • VK
  • PushAll

logo

  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные
  • За год
    • Положительные
    • Отрицательные
  • Сортировка
    • По дате (возр)
    • По дате (убыв)
    • По рейтингу (возр)
    • По рейтингу (убыв)
    • По комментам (возр)
    • По комментам (убыв)
    • По просмотрам (возр)
    • По просмотрам (убыв)
Главная
  • Все
    • Положительные
    • Отрицательные
  • За сегодня
    • Положительные
    • Отрицательные
  • За вчера
    • Положительные
    • Отрицательные
  • За 3 дня
    • Положительные
    • Отрицательные
  • За неделю
    • Положительные
    • Отрицательные
  • За месяц
    • Положительные
    • Отрицательные

Публикации с тегом аксиоматический метод

На чем основана логика? Часть 1. Алгебра множеств без аксиом

  • 19.12.2023 12:48
  • AntiLogik
  • 2
  • Алгоритмы
  • Математика
  • Семантика
  • Научно-популярное
Страница 1 из 1
ЛУЧШЕЕ

  • Сегодня
  • Вчера
  • Позавчера
09:11

Новогоднее чудо — кастомная электрогитара мечты +33

10:55

Два месяца и релиз языка программирования Ruby 3.4.0 готов +24

10:07

Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня +24

10:48

Приключения серотонина в бесконечном цикле боли, или опиатная ломка у неторчка — ч.1 +23

13:02

Как типы делают сложные задачи простыми +16

09:26

Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +11

14:00

Оптимизация запросов SQL Server V/S PostgreSQL: есть куда расти? +10

13:19

RP2040. Асинхронный вывод в UART по прерываниям +8

12:05

Использование Assembler'a. Фишка 1 +8

08:00

Багровые тучи, симметриады и марсианский картофель: 10 научно-фантастических книг о космосе +7

11:00

1 января 1970 года. День создания индустрии программного обеспечения +6

15:52

Искусственный интеллект в продукт-менеджменте: как ИИ облегчает жизнь продакта — обзор инструментов и личный опыт +5

04:01

Как улучшить влажность в квартире: проверяем на практике +5

16:15

Контекст диалога в pytelegrambotapi +2

14:06

Изучаем Ethereum через практику: моя история деплоя смарт-контракта в Sepolia +2

17:16

Деплоймент нескольких ASP.Net Core-приложений на VPS сервере и настройка доступа к ним по доменному имени 3-го уровня +1

15:25

Весь мир в файле .org: Как использовать Emacs для заметок +1

15:10

Лучшие беспроводные наушники (TWS) 2024 — начала 2025. Сравнение звука топовых HIFI труваров +1

08:39

Ryanair: как ирландский лоукостер построил свой антибренд на ненависти со стороны своих клиентов +1

09:01

Стеклянные ёлочные игрушки своими руками. Техника fusing +96

17:50

Как сделать ёлку, если ты Unicode +47

11:14

Будущее микросервисов: уйдем ли мы к монолитам 2.0? +41

07:31

«Сингулярностей не существует», — утверждает первооткрыватель чёрных дыр Рой Керр +35

10:10

Как я WSPR маяк тестировал +22

14:55

Топ-20 лучших научных статей об ИИ-агентах в 2024 году +21

08:05

Технологии, которые мы потеряли и знаковые IT-события 2024 года +21

14:29

Почему ИИ не заменит программистов: взгляд инженера +19

13:29

Реализация шифра «Кузнечик» на языке RUST +16

08:21

Чего ждать от Python в 2025 году — и чем он радовал нас в этом +14

19:14

Стертый из американской лунной программы луноход VIPER +11

01:30

Структура FastAPI приложения +10

18:17

Т-функция: подключаем логику к UI как к БД +7

12:22

Пошаговая Formula 1 — игра/задачка на программирование +7

11:45

Кто упал, а кто поднялся в 2024? Подборка лучших историй предпринимателей за год +6

09:11

Уроки истории: Первое в мире киберпреступление — червь Морриса +6

08:40

Мысли по поводу нового релиза Elixir +6

16:35

Система репутации в Telegram +5

09:59

Как данные передаются в системе и устройстве? Интерфейсы ARINC +5

06:04

SmartTherm: управляем котлом по OpenTherm удаленно с персональным облаком +5

09:01

«Искра» божья. Вспоминаем персональный компьютер «Искра-1030» +66

15:00

ReactOS и 2024 год +59

07:26

Ory Kratos — конструктор для сборки цифрового продукта любой сложности +58

13:06

Эволюция рабочего места одного программиста +51

08:07

Изоляция процессов и минимизация привилегий: использование Linux namespaces и seccomp +38

13:59

Мой опыт ремонта платы газового настенного котла «NEVALUX 8224» +37

08:05

DIY LED Cube: ультимативный гайд для сильных духом. Часть 1. Сборка +35

13:01

История авиасимуляторов +32

09:05

Крупнейшие провалы стартапов 2024 года +26

04:06

Векторная графика на форме при разработке приложений в Lazarus IDE +26

21:00

Традиционный новогодний Хабрачат-2025 +24

15:14

OpenVPN & i2pd: VPN через I2P (часть 2) +24

14:23

Hail to the Rainbow. Разработка игры длиною в вечность. Часть 2. 3D контент и шейдеры +22

19:21

Почему у Уругвая получилось. История одного зелёного перехода +17

15:50

Мониторинг сетевого оборудования MikroTik с использованием MikroTik API, MKTXP, Prometheus и Grafana +16

12:57

Биткоин-обменник и чем он отличается от криптообменника +16

09:01

Пишем свои диагностические правила для анализатора Svace +15

07:15

Сложность биометрической идентификации монозиготных близнецов +15

13:19

Книжки под елочку +14

13:36

Прокрастинация. Какие трюки использует наш мозг, чтобы отложить дело на потом? +13

СЕРВИСЫ
  • logo

    CloudLogs.ru - Облачное логирование

    • Храните логи вашего сервиса или приложения в облаке. Удобно просматривайте и анализируйте их.
ОБСУЖДАЕМОЕ

  • Почему у Уругвая получилось. История одного зелёного перехода +17

    • 240

    Эволюция рабочего места одного программиста +51

    • 161

    «Искра» божья. Вспоминаем персональный компьютер «Искра-1030» +66

    • 86

    «Сингулярностей не существует», — утверждает первооткрыватель чёрных дыр Рой Керр +35

    • 74

    Почему ИИ не заменит программистов: взгляд инженера +19

    • 60

    Будущее микросервисов: уйдем ли мы к монолитам 2.0? +41

    • 59

    Крупнейшие провалы стартапов 2024 года +26

    • 42

    Как улучшить влажность в квартире: проверяем на практике +5

    • 40

    Почему SLS всё-таки будет летать +9

    • 34

    Когда пора менять работу? +1

    • 34

    Что если умножение на ноль не всегда дает ноль? (фантастика) +7

    • 33

    Стертый из американской лунной программы луноход VIPER +11

    • 26

    Более 14 лет ставлю цели на год: рассказываю, как и почему этот процесс работает у меня +24

    • 25

    Фундаментальная математика — теория всего в IT и не только. Теория типов и формализация в Coq +11

    • 25

    Итоги электронного года +10

    • 25

Подписка


  • Главная
  • Контакты
© 2025. Все публикации принадлежат авторам.