Перайсці да зместу
Галоўнае меню
Галоўнае меню
перанесці да бакавой панэлі
схаваць
Навігацыя
Галоўная старонка
Супольнасць
Апошнія змены
Новыя старонкі
Форум
Выпадковая старонка
Даведка
Паведаміць пра памылку
Пошук
Пошук
Выгляд
Ахвяраваць
Стварыць уліковы запіс
Увайсці
Асабістыя інструменты
Ахвяраваць
Стварыць уліковы запіс
Увайсці
Старонкі для ананімных рэдактараў
даведацца больш
Уклад
Размовы
Катэгорыя
:
Фармальныя метады
27 моў
العربية
Башҡортса
Беларуская (тарашкевіца)
Bosanski
Чӑвашла
Ελληνικά
English
Esperanto
Español
Euskara
فارسی
Français
Հայերեն
Bahasa Indonesia
Italiano
日本語
한국어
Lietuvių
Norsk nynorsk
Português
Română
Русский
Slovenščina
Türkçe
Українська
Tiếng Việt
中文
Правіць спасылкі
Катэгорыя
Размовы
беларуская
Чытаць
Правіць
Правіць зыходнік
Паказаць гісторыю
Інструменты
Інструменты
перанесці да бакавой панэлі
схаваць
Дзеянні
Чытаць
Правіць
Правіць зыходнік
Паказаць гісторыю
Агульныя
Сюды спасылаюцца
Звязаныя праўкі
Адмысловыя старонкі
Нязменная спасылка
Звесткі пра старонку
Атрымаць скарочаны URL-адрас
Спампаваць QR-код
Друк/экспарт
Стварыць кнігу
Спампаваць як PDF
Для друку
У іншых праектах
Вікісховішча
Элемент Вікіданых
Выгляд
перанесці да бакавой панэлі
схаваць
Даведка
З Вікіпедыі, свабоднай энцыклапедыі
У гэтай катэгорыі няма асноўнага артыкула —
фармальныя метады
[d]
Падкатэгорыі
Гэтая катэгорыя мае толькі наступную падкатэгорыю.
Л
Логіка выказванняў
(2: 2 с.)
Старонкі ў катэгорыі «Фармальныя метады»
Паказаны 4 старонкі гэтай катэгорыі з 4.
М
Маніфест гнуткай распрацоўкі
Машына Цьюрынга
С
Сцвярджэнне (праграмаванне)
Т
Тэорыя мностваў
Катэгорыі
:
Логіка
Распрацоўка праграмнага забеспячэння
Схаваныя катэгорыі:
Вікіпедыя:Старонкі з модулем Hatnote з гатовым фарматаваннем
Вікіпедыя:Катэгорыі з асноўным артыкулам з Вікіданых