Skip to main content
Ctrl+K
ada-ukraine.github.io - Home ada-ukraine.github.io - Home
  • Atom feed
  • Про Ada Ukraine

Courses:

  • Курси
    • Введення в Ada
      • Вступ
      • Імперативна мова
      • Підпрограми
      • Модульне програмування
      • Суворо типізована мова
      • Записи
      • Массиви
      • Більше про типи
      • Тип-посилання
    • Посібник з якості та стилю
      • Передмова
      • Вступ
      • Презентація вихідного коду
      • Читабельність
  • Статті

Recent Posts

  • 23 травня - Розв'язання судоку за допомогою AdaSAT
  • 18 березня - Ніколи не використовуйте Float або Integer
  • 15 березня - Важливість концепції власності для досягнення безпеки памʼяті
  • 16 лютого - Формальний доказ на драйверах пристроїв за допомогою SPARK
  • 09 лютого - Серія відео про можливості Ada 2022

Tags

  • Ada-83
  • Alire
  • IDE
  • Ravenscar
  • SPARK
  • ada-ukraine
  • auj
  • drivers
  • embedded
  • future
  • lang
  • network
  • podcast
  • Подкаст
  • Посібник
  • Початківцям
  • історія

Archives

  • 2026 (6)
  • 2025 (7)
  • 2024 (1)

Posts tagged lang

Розв'язання судоку за допомогою AdaSAT

  • 23 травня 2026
  • Fabien Chouteau
  • Україньска
  • lang

Фаб'єн Шуто, 8 липня 2025 р.

Read more ...

Автор Ada Ukraine + AdaCore

© Copyright 2024 – 2025, Ada Ukraine. All rights reserved. CC BY 4.0 License.