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

logo

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

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

Prolog: три портрета через 50 лет +16

  • 04.11.2024 18:09
  • Giox_Nostr
  • 28
  • Искусственный интеллект
  • Prolog
  • История IT
  • Научно-популярное

Плэнер — язык логического программирования для ИИ: что из него получилось

  • 22.04.2024 09:00
  • alizar
  • 3
  • Блог компании RUVDS.com
  • Программирование
  • Разработка игр
  • Искусственный интеллект
  • Изучение языков

Логическое программирование для начинающих. Prolog +10

  • 27.04.2023 09:46
  • imedzhidli
  • 9
  • Изучение языков
  • Prolog

Динамическая База данных на Turbo Prolog +20

  • 10.02.2023 01:30
  • KirillTaE
  • 12
  • Программирование
  • Prolog

Prolog in Prolog: зачем и как +16

  • 25.10.2022 15:04
  • potan
  • 11
  • Ненормальное программирование
  • Prolog

Применение двоичной логики в недвоичных операциях: оптимизируем производительность и ресурсы +14

  • 09.09.2021 15:03
  • alviro
  • 26
  • Блог компании Ozon Tech
  • Высокая производительность
  • Программирование
  • Алгоритмы
  • Go

Логическое программирование на Prolog для чайников +7

  • 14.04.2021 07:44
  • magorokhoov
  • 12
  • Программирование
  • Prolog
  • Из песочницы

Проектируем мультипарадигменный язык программирования. Часть 6 — Заимствования из SQL +8

  • 27.01.2021 10:39
  • OleksiiVoropai
  • 8
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Проектируем мультипарадигменный язык программирования. Часть 5 — Особенности логического программирования +6

  • 08.01.2021 08:04
  • OleksiiVoropai
  • 23
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Роль логического программирования, и стоит ли планировать его изучение на 2021-й +55

  • 21.12.2020 20:13
  • Windicor
  • 16
  • Программирование
  • Prolog
  • Искусственный интеллект
  • Natural Language Processing
  • Из песочницы

Проектируем мульти-парадигменный язык программирования. Часть 4 — Основные конструкции языка моделирования +4

  • 26.11.2020 10:41
  • OleksiiVoropai
  • 21
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Проектируем мульти-парадигменный язык программирования. Часть 3 — Обзор языков представления знаний +7

  • 04.11.2020 08:38
  • OleksiiVoropai
  • 5
  • Семантика
  • Программирование
  • Prolog
  • Бизнес-модели

Семинары лаборатории языковых инструментов JetBrains Research +8

  • 29.10.2020 16:53
  • JetBrains_Education
  • 0
  • Блог компании Образовательные проекты JetBrains

Реляционное программирование: боль, интерес и снова боль +20

  • 21.02.2019 11:38
  • rozplokhas
  • 9
  • Блог компании Питерская Вышка
  • Алгоритмы
  • Математика
  • Ненормальное программирование
  • Учебный процесс в IT

Что такое логическое программирование и зачем оно нам нужно

  • 04.02.2019 07:35
  • varagian
  • 22
  • Data Mining
  • Prolog
  • Алгоритмы
  • Математика
  • Программирование
  • «
  • 1
  • 2
  • »
Страница 1 из 2
ЛУЧШЕЕ

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

Про ультразвуковые ножи +50

08:16

Как я купил Lenovo Thinkpad и начал понимать что такое настоящее терпение +43

07:05

Его величество — Маховик +33

13:51

Погружение в IT на Merge Baltic: зачем айтишнику ехать на конференцию у моря, и что привезти с собой из Светлогорска +27

14:15

«Русскоязычных пособий по Lua катастрофически не хватает. Мы решаем эту проблему». Читаем главу о введении в стек +24

13:01

Enya Inspire — умная углепластиковая электрогитара для гиков +24

12:41

Топ-30 бесплатных нейросетей, которые облегчат вашу жизнь +24

07:10

QR-код по запросу: знакомство с QRious +24

13:08

Как владение кошкой влияет на мозг человека (и на мозг кошки) +23

10:28

Отделяем мух от Kotlett. Динамические обновления без релизов и BDUI +22

10:28

Отделяем мух от Kotlett. Динамические обновления без релизов и BDUI +22

08:22

Улучшаем качество приёма с помощью фильтров и малошумящих усилителей +18

08:11

Как дизайнеры совершенствуют проектные процессы в Авито с помощью матрицы DACI +16

14:05

Нейро-дайджест: ключевые события мира AI за 1-ю неделю октября 2025 +15

08:01

Эмоциональный дизайн в интерфейсе: как внедрение практики влияет на метрики +15

07:00

Ловим ошибки в диалогах поддержки с помощью LLM: опыт команды Yandex Crowd +15

11:00

Если вы перешли на лысую сторону +14

10:36

«Вы делили на ноль?»: QA-разбор проблем утечки памяти в новой macOS Tahoe 26 +14

09:55

Линус Торвальдс жёстко отверг поддержку big-endian RISC-V +13

10:23

Откуда берётся запутанный код +12

05:00

Хватит писать «чистый» код. Пора писать понятный код +90

09:01

Изучаем рефаб Nokia 5300 за $20: как китайцы возвращают к жизни старые телефоны +70

07:01

Cherry MX: чем маленькая инновация 80-х покоряет современный мир +65

08:30

«Колобок»: история одной советской мыши, которая не хочет работать +63

09:00

Как обмануть LLM: обход защиты при помощи состязательных суффиксов. Часть 1 +48

13:01

Оптимальный уровень мошенничества — выше нуля +38

10:35

Как умерли небольшие контентные сайты +38

07:05

Pytest. Гайд для тех, кто ни разу про него не слышал +37

11:14

Как с помощью локальной LLM автоматизировать рутину и облегчить жизнь себе и коллегам +31

06:15

Компьютерное зрение + ARKit = AR-навигация внутри зданий +29

04:00

DIY Open Source принтер. Часть 2. Логика управления печатающей головой HP123 +29

15:37

ESP32: Базовые алгоритмы машинного обучения +28

16:29

Чёрные дыры подтвердили правоту Стивена Хокинга самым чётким сигналом на сегодняшний день +26

09:21

Как PHP «теряет» цифры: большие числа, double и неожиданные баги +24

07:00

Полный гайд по golden-тестам во Flutter: зачем нужны и как настроить +22

14:35

PostgreSQL 18: быстрее, умнее, нагляднее +21

09:00

ИТ-менеджер, который перестал быть «пожарным». История управления 40 проектами и система, которая меня спасла +15

10:59

Читаем вместе. ИИ в AppSec: могут ли LLM работать с уязвимым кодом +13

12:28

Погружаемся в недра Retrofit +12

11:02

Бэктестер для торговых стратегий на GPU со скоростью просчёта 150 тыс стратегий за 1 секунду +12

09:31

Рынок эйчара +221

13:30

Тихий апокалипсис: я устал читать сгенерированные статьи +160

06:32

Восстание терпил +82

13:01

Что такое DevOps и почему он автоматизировал не всё +55

09:01

Странные CSS-свойства, но, возможно, полезные +53

11:17

DevSecOps за 20 миллионов? Я сделал свой сканер и выложил бесплатно +38

09:00

JavaScript, отдохни! Делаем интерактивные вещи на HTML и CSS +37

07:00

Как появилась программа багбаунти? История развития +37

08:57

$220К в месяц на индексации сайтов для Google +36

12:11

Как властители мира собираются жить вечно: для них старение – техническая задача, которую надо решить +31

19:45

Декодирование IR сигнала с TV (или исследование пультовых лучей) +30

07:01

Как мы запретили писать код с багами в локализации или «Без права на bug» +28

18:26

Как вероятность 1 к 73 000 000 стала приговором для матери двух младенцев: дело Салли Кларк +27

08:07

Оптимизация выравнивания и заполнения структур в Go. В 2025 г. всё ещё экономим на спичках +26

15:26

Оптимизация декодера изображений для 6502 с 70 минут до одной +25

11:03

Как сделать сложный технический текст простым и понятным: приемы из практики технического писателя +24

09:58

Kandinsky 5.0 Video Lite — лучший open-source генератор видео высокого качества в классе лёгких моделей +24

13:46

Переезд в облако рекламного движка с baremetal +23

09:30

Собственное файловое хранилище для 400 Пбайт видеоконтента +23

09:30

Собственное файловое хранилище для 400 Пбайт видеоконтента +23

СЕРВИСЫ
  • logo

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

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

  • Как умерли небольшие контентные сайты +38

    • 153

    Как я купил Lenovo Thinkpad и начал понимать что такое настоящее терпение +43

    • 121

    Хватит писать «чистый» код. Пора писать понятный код +90

    • 111

    «Колобок»: история одной советской мыши, которая не хочет работать +63

    • 68

    Его величество — Маховик +33

    • 43

    Чёрные дыры подтвердили правоту Стивена Хокинга самым чётким сигналом на сегодняшний день +26

    • 42

    Линус Торвальдс жёстко отверг поддержку big-endian RISC-V +13

    • 37

    Бэктестер для торговых стратегий на GPU со скоростью просчёта 150 тыс стратегий за 1 секунду +12

    • 37

    Про ультразвуковые ножи +50

    • 34

    Изучаем рефаб Nokia 5300 за $20: как китайцы возвращают к жизни старые телефоны +70

    • 33

    Как с помощью локальной LLM автоматизировать рутину и облегчить жизнь себе и коллегам +31

    • 24

    Приказ 221 v2 Роскомнадзора для простых админов — создать XML и выжить +4

    • 23

    Всевидящее небо: дроны и конец приватности +2

    • 22

    Cherry MX: чем маленькая инновация 80-х покоряет современный мир +65

    • 21

Подписка


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