<?xml version="1.0"?>
<feed xmlns="http://www.w3.org/2005/Atom" xml:lang="ru">
		<id>http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=DIvanov</id>
		<title>Викиконспекты - Вклад участника [ru]</title>
		<link rel="self" type="application/atom+xml" href="http://neerc.ifmo.ru/wiki/api.php?action=feedcontributions&amp;feedformat=atom&amp;user=DIvanov"/>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A1%D0%BB%D1%83%D0%B6%D0%B5%D0%B1%D0%BD%D0%B0%D1%8F:%D0%92%D0%BA%D0%BB%D0%B0%D0%B4/DIvanov"/>
		<updated>2026-04-21T00:49:38Z</updated>
		<subtitle>Вклад участника</subtitle>
		<generator>MediaWiki 1.30.0</generator>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%B8_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%8B&amp;diff=4129</id>
		<title>Дискретная математика и алгоритмы</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%94%D0%B8%D1%81%D0%BA%D1%80%D0%B5%D1%82%D0%BD%D0%B0%D1%8F_%D0%BC%D0%B0%D1%82%D0%B5%D0%BC%D0%B0%D1%82%D0%B8%D0%BA%D0%B0_%D0%B8_%D0%B0%D0%BB%D0%B3%D0%BE%D1%80%D0%B8%D1%82%D0%BC%D1%8B&amp;diff=4129"/>
				<updated>2010-10-17T16:47:55Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;== Отношения ==&lt;br /&gt;
*Определение отношения&lt;br /&gt;
*Степень отношений&lt;br /&gt;
*[[Рефлексивное отношение|Рефлексивное отношение. Антирефлексивное отношение.]]&lt;br /&gt;
*[[Симметричное отношение]]&lt;br /&gt;
*[[Антисимметричное отношение]]&lt;br /&gt;
*[[Композиция отношений|Композиция отношений. Обратное отношение]]&lt;br /&gt;
*[[Транзитивное отношение]]&lt;br /&gt;
*[[Транзитивное замыкание|Транзитивное замыкание отношения]]&lt;br /&gt;
*[[Алгоритм Флойда — Уоршелла|Алгоритм Флойда-Уоршалла построения транзитивного замыкания отношения]]&lt;br /&gt;
&lt;br /&gt;
== Булевы функции ==&lt;br /&gt;
*[[Определение булевой функции]]&lt;br /&gt;
*[[Примеры булевых функций|Примеры булевых функций: все функции от нуля, одной и двух переменных]]&lt;br /&gt;
*Подстановка одной функции в другую, отождествление переменных&lt;br /&gt;
*Представление функции формулой, полные системы функций	&lt;br /&gt;
*[[СДНФ]]&lt;br /&gt;
*[[СКНФ]]&lt;br /&gt;
*[[Полином Жегалкина]]&lt;br /&gt;
*[[Теорема Поста о полной системе функций]]&lt;br /&gt;
*[[Сокращенная и минимальная ДНФ]]&lt;br /&gt;
*[[Минимизация ДНФ с помощью покрытий гиперкуба и карт Карно]]&lt;br /&gt;
*[[Специальные формы КНФ|Специальные формы КНФ: КНФ в форме Хорна и КНФ в форме Крома]]&lt;br /&gt;
*[[Преобразование Мёбиуса для получения коэффициентов полинома Жегалкина]]&lt;br /&gt;
&lt;br /&gt;
== Схемы из функциональных элементов ==&lt;br /&gt;
*[[Реализация булевой функции схемой из функциональных элементов]]&lt;br /&gt;
*[[Изменение размера оптимальной схемы при переходе к другому базису]]&lt;br /&gt;
*[[Каскадный сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;br /&gt;
*[[Дерево Уоллеса]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4125</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4125"/>
				<updated>2010-10-17T01:49:22Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
Как известно, с помощью полного сумматора можно сложить 2 одноразрядных двоичных числа. Для сложения двух N-разрядных двоичных чисел можно использовать N полных сумматров. &lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Составить схему на основе каскадного сумматора достаточно просто, но такой сумматор работает относительно медленно.Действительно, прежде чем сложить iые биты надо ждать входного бита переноса от сложения i-1 битов. Таким образом сложение происходит за время О(N).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4124</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4124"/>
				<updated>2010-10-17T01:47:38Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
Как известно, с помощью полного сумматора можно сложить 2 одноразрядных двоичных числа. Для сложения двух N-разрядных двоичных чисел можно использовать N полных сумматров. &lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Составить схему на основе каскадного сумматора достаточно просто, но такой сумматор работает относительно медленно.Действительно, прежде чем сложить iые биты надо ждать входного бита переноса от сложения i-1 битов. Таким образом сложение происходит за время О(N).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] [[Файл:1470152.gif]]&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:1470152.gif&amp;diff=4123</id>
		<title>Файл:1470152.gif</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:1470152.gif&amp;diff=4123"/>
				<updated>2010-10-17T01:46:04Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4122</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4122"/>
				<updated>2010-10-17T01:40:15Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
Как известно, с помощью полного сумматора можно сложить 2 одноразрядных двоичных числа. Для сложения двух N-разрядных двоичных чисел можно использовать N полных сумматров. &lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Составить схему на основе каскадного сумматора достаточно просто, но такой сумматор работает относительно медленно.Действительно, прежде чем сложить iые биты надо ждать входного бита переноса от сложения i-1 битов. Таким образом сложение происходит за время О(N).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4069</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4069"/>
				<updated>2010-10-15T17:18:50Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
Как известно, с помощью полного сумматора можно сложить 2 одноразрядных двоичных числа. Для сложения двух N-разрядных двоичных можно использовать N полных сумматров. &lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Составить схему на основе каскадного сумматора достаточно просто, но такой сумматор работает относительно медленно.Действительно, прежде чем сложить iые биты надо ждать входного бита переноса от сложения i-1 битов. Таким образом сложение происходит за время О(N).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4067</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4067"/>
				<updated>2010-10-15T15:41:32Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;==Каскадный сумматор ==&lt;br /&gt;
'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
Как известно, с помощью полного сумматора можно сложить 2 одноразрядных двоичных числа. Для сложения двух N-разрядных двоичных можно использовать N полных сумматров. &lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Составить схему на основе каскадного сумматора достаточно просто, но такой сумматор работает относительно медленно.Действительно, прежде чем сложить iые биты надо ждать входного бита переноса от сложения i-1 битов. Таким образом сложение происходит за время О(N).&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4066</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4066"/>
				<updated>2010-10-15T15:08:52Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;==Каскадный сумматор ==&lt;br /&gt;
'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4046</id>
		<title>Каскадный сумматор</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%9A%D0%B0%D1%81%D0%BA%D0%B0%D0%B4%D0%BD%D1%8B%D0%B9_%D1%81%D1%83%D0%BC%D0%BC%D0%B0%D1%82%D0%BE%D1%80&amp;diff=4046"/>
				<updated>2010-10-15T04:31:58Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: &lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;==Каскадный сумматор ==&lt;br /&gt;
'''Каскадный сумматор''' - логическая цепь, осуществляющая сложение многоразрядных двоичных чисел.&lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
При сложении двух чисел в i-том разряде складываются a[i],b[i] и входной бит переноса (carry-in bit) c[i]. Младший разряд суммы записывается в i-й разряд ответа (s[i]), а старший становится выходным битом переноса (carry-out bit) c[i+1] и используется при сложении в следующем разряде.&lt;br /&gt;
&lt;br /&gt;
Сложение с предвычислением переносов&lt;br /&gt;
&lt;br /&gt;
В каскадном сумматоре бит переноса ci вычисляется в момент времени i. Значения ai и bi, однако, известны с самого начала. В некоторых случаях они определяют бит переноса ci: &lt;br /&gt;
если ai = bi = 0, то ci = 0 (перенос &amp;quot;поглощается&amp;quot; (kill)) &lt;br /&gt;
если ai = bi = 1, то ci = 1 (перенос &amp;quot;порождается&amp;quot; (generate)) &lt;br /&gt;
&lt;br /&gt;
Однако если один из битов ai и bi равен 1, а другой 0, то ci-1 существен; именно, &lt;br /&gt;
если ai != bi, то ci = ci-1 (перенос &amp;quot;распространяется&amp;quot; (propagate)) &lt;br /&gt;
&lt;br /&gt;
Каждому разряду, следовательно, соответствует один из трёх типов переноса (carry statuses): k (kill), g (generate) или p (propagate). Этот тип известен заранее, что позволяет уменьшить время работы схемы сложения. &lt;br /&gt;
&lt;br /&gt;
Зная типы переноса для соседних сумматоров ((i - 1)-го и i-го), можно определить тип переноса для их соединения, считая ci-1 входным битом, а ci+1 — выходным: зная, что случается с битом переноса на каждом шаге, можно рассчитать, что произойдёт за два шага, то есть как зависит ci+1 от ci-1. Если i-й разряд имеет тип k или g, то соединение имеет тот же тип переноса. Если же i-й разряд имеет тип переноса p, то тип переноса для соединения совпадает с типом (i - 1)-го разряда. &lt;br /&gt;
&lt;br /&gt;
Таким образом, вычисление битов переноса ci сводится к вычислению префиксов yi. Оставшиеся действия    выполняются    за время O(1): достаточно подать биты переноса на входы сумматоров.&lt;br /&gt;
[[Файл:Ripple_carry_adder.png]] &lt;br /&gt;
&lt;br /&gt;
&lt;br /&gt;
== См. также ==&lt;br /&gt;
*[[Сумматор]]&lt;br /&gt;
*[[Двоичный каскадный сумматор]]&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	<entry>
		<id>http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Ripple_carry_adder.png&amp;diff=4041</id>
		<title>Файл:Ripple carry adder.png</title>
		<link rel="alternate" type="text/html" href="http://neerc.ifmo.ru/wiki/index.php?title=%D0%A4%D0%B0%D0%B9%D0%BB:Ripple_carry_adder.png&amp;diff=4041"/>
				<updated>2010-10-15T04:12:26Z</updated>
		
		<summary type="html">&lt;p&gt;DIvanov: Каскадный сумматор&lt;/p&gt;
&lt;hr /&gt;
&lt;div&gt;Каскадный сумматор&lt;/div&gt;</summary>
		<author><name>DIvanov</name></author>	</entry>

	</feed>