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

logo

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

Публикации с тегом логическое программирование

Регулярные выражения + логическое программирование. Что в результате? +9

  • 30.06.2018 22:31
  • pekunov
  • 3
  • Программирование
  • Алгоритмы
  • Delphi
  • Регулярные выражения

PROLOG для программистов +12

  • 06.01.2016 11:58
  • N_Ikhsanov
  • 97
  • Программирование
  • Prolog
  • «
  • 1
  • 2
  • »
Страница 2 из 2
ЛУЧШЕЕ

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

FreeRTOS для самых маленьких на примере ESP-IDF +56

08:05

Чип, подёргай ножкой ¯\_(ツ)_/¯ +31

08:00

WsprryPi: трансивер WSPR из обычной «малинки» +23

13:31

Германская танковая проблема: торжество статистики и один из первых примеров военного OSINT'a +22

13:01

Почему во Вселенной материи больше, чем антиматерии? +18

11:07

CobolCraft = Cobol и Minecraft: как древний язык программирования нашел применение в популярной игре +18

06:08

Texas Instruments: от калькуляторов до мастеров распределения капитала +17

05:02

Книги, софт, сайты для изучения китайского языка +16

13:10

Героические цивилизации — пишу гибрид двух легендарных игр +14

08:35

40 лучших ИИ-инструментов 2025 году (проверенные и протестированные) +12

06:15

Усилитель класса D на TPA3255 (PBTL) +11

01:19

Процессор ЭВМ ЕС-1030. Особенности микропрограмм +10

10:00

Основы и продвинутые техники RAG +9

05:55

Электроника. От микросервисов к монолиту и обратно +8

11:16

Неосознанный летающий объект (новогодний НФ-рассказ) +7

17:02

Часть 1: Как я создал идеальный REST API — микросервис инцидентов на Java и Spring +6

16:54

Почему джуны путаются в асинхронном коде (и как научиться с ним работать) +5

13:31

Анализ AST и рефакторинг кода в Clang +5

10:16

CryptoPro CSP на macOS +5

07:55

Вышел релиз GitLab 17.7 с новой пользовательской ролью Planner +5

10:48

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

13:02

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

10:07

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

09:11

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

09:26

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

19:04

Забытые технологии: PPP +29

14:00

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

10:55

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

19:38

Обвиваем YouTube змеем, или как смотреть и скачивать видео с YouTube без VPN на чистом Python-е. Часть 2 +23

22:11

Стековая виртуальная машина на языке Си +22

21:50

STM32. CMSIS. Пять способов генерации (псевдо-)случайного сигнала на выводе микроконтроллера +20

15:25

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

12:05

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

15:52

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

13:19

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

11:00

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

08:00

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

04:01

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

08:39

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

15:10

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

10:48

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

13:02

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

10:07

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

09:11

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

09:26

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

19:04

Забытые технологии: PPP +29

14:00

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

10:55

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

19:38

Обвиваем YouTube змеем, или как смотреть и скачивать видео с YouTube без VPN на чистом Python-е. Часть 2 +23

22:11

Стековая виртуальная машина на языке Си +22

21:50

STM32. CMSIS. Пять способов генерации (псевдо-)случайного сигнала на выводе микроконтроллера +20

15:25

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

12:05

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

15:52

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

13:19

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

11:00

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

08:00

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

04:01

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

08:39

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

15:10

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

СЕРВИСЫ
  • logo

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

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

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

    • 123

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

    • 82

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

    • 78

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

    • 71

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

    • 69

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

    • 61

    Забытые технологии: PPP +29

    • 45

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

    • 42

    FreeRTOS для самых маленьких на примере ESP-IDF +56

    • 40

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

    • 38

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

    • 35

    Безопасная авторизация в современных мобильных приложениях: миф или реальность? -3

    • 25

    Чем заменить Youtube: 15 вариантов для авторов и бизнеса -17

    • 25

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

    • 22

    Как добавить или расширить диск в Linux +2

    • 20

Подписка


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