Результати пошуку

== Необхідність еквівалентних схем == Для складання еквівалентних схем використовують ідеальні елементи: ...

...тість Понтрягіна]]), а категорія [[Схема (математика)#Афінні схеми|афінних схем]] еквівалентна двоїстій категорії до категорії комутативних [[Кільце (алгеб * Категорія [[спектр кільця|афінних схем]] еквівалентна двоїстій категорії [[Кільце (алгебра)|комутативних кілець]]. ...

...ів СхП, тому тут ми обмежимося тільки загальним їх оглядом. Початок теорії схем програм поклали радянські вчені [[Ляпунов Олексій Андрійович|О. А. Ляпунов] == Теорія схем програм == ...

Базовим поняттям теорії схем є афінні схеми, що є аналогами [[Афінний многовид|афінних многовидів]]. Дов ...{Spec}\, A</math> можна було розглядати як підсхему, при цьому для афінних схем виконується <math>\mathcal {O}_A (\mathrm {Spec}\, \; A) = A</math>, що озн ...

...ні простори, зокрема, використовуються при визначенні [[схема (математика)|схем]]. ...(математика)|схеми]] визначають як результат «склеювання» кількох афінних схем. ...

{{Теорія автоматів}} ...функцію і, тим самим, домогтися більш компактною реалізації комбінаційних схем. ...

'''Мéтод валéнтних зв'язкíв''', або '''метод валентних схем''' ({{lang-en|VB method}}, {{lang-ru|метод ВС}}),&nbsp;— це метод наближено ...лінією, а електронна структура молекули виглядає як набір різних валентних схем. ...

{{Теорія автоматів}} {{unibox}}'''Тео́рія автома́тів'''&nbsp;— логіко-математична теорія, об'єктом дослідження якої є [[Абстрактний автомат|абстрактні автомати]]&nb ...

[[Категорія:Теорія схем]] ...

...а розширення області її застосування призвели до необхідності переходу від схем де (випадкові) результати дослідів можна описати через число чи скінченну м ...

...а логіка|математичної логіки]]. Вона розвивається в рамках теорії цифрових схем в тісному зв'язку з [[комбінаційна логіка | комбінаційною логікою]], [[буле * '' А. Фрідман, П. Менон.'' Теорія перемикальних схем.&nbsp;— М.: Мир, 1978.&nbsp;— 580с. ...

...раїчні числа|алгебраїчних чисел]] є одним з основних завдань [[алгебраїчна теорія чисел|алгебраїчної теорії чисел]]. Групи Галуа полів алгебраїчних функцій в ...льних [[комутативність|комутативних]] [[кільце (алгебра)|кілець]] і навіть схем, а також на випадок розширень [[тіло (алгебра)|тіл]]. ...

...ний примітив|криптографічних примітивів]], особливо безпечних [[Шифрування|схем шифрування]]. [[Категорія:Теорія криптографії]] ...

...в описі [[цифрова схема|цифрових схем]] (насамперед це стосується цифрових схем без [[зворотний зв'язок|зворотних зв'язків]]). {{Теорія порядку|state=collapsed}} ...

...ния параллельных граф-схем алгоритмов совокупностями последовательных граф-схем // Автоматика и вычислительная техника. 1984. №&nbsp;5. С. 74—81.</ref><ref [[Категорія:Теорія графів]] ...

...вне кільце|комутативним кільцем]] ''R'' це [[груповий об'єкт]] в категорії схем над ''R''. ...ий приклад насправді є частиною попереднього адже згідно з [[Теорема Келі (теорія груп)|теоремою Келі]] кожна скінченна група є ізоморфною [[Перестановка|під ...

[[Категорія:Теорія кілець]] [[Категорія:Теорія схем]] ...

...регулярним'''. Бірегулярні відображення є [[Ізоморфізм|ізоморфізмами]] у [[Теорія категорій|категорії]] алгебричних многовидів. Загалом регулярність і бірегу == Порівняння з морфізмами схем == ...

...ункцією ОПТ є перемикач, в основному функціональним вузлом серед більшості схем на ОПТ є [[релаксаційний генератор]]. | Заголовок = Основи теорії транзисторів і транзисторних схем ...

...рії]] '''конструкція Proj''' є аналогом конструкції [[Афінна схема|афінних схем]] як [[Спектр кільця|спектрів кілець]]. Одержані за допомогою її допомогою де ''a'' — однорідний ідеал ''S''. Як і у випадку афінних схем, легко перевіряється, що ''V''(''a'') — замкнуті множині деякої топології н ...