Ìèíèìèçàöèÿ äèçúþíêòèâíîé íîðìàëüíîé ôîðìû
Êîíúþíêöèÿ äâóõ áóëåâûõ ïåðåìåííûõ. Ëèòåðàë êàê ëþáàÿ ôîðìóëà âèäà x, ãäå x — ïðîèçâîëüíàÿ ïåðåìåííàÿ. Ìèíèìèçàöèÿ ñèñòåìû ôóíêöèé. Ïîèñê ïðîñòûõ èìïëèêàíòîâ èñõîäíîé ñèñòåìû. Ïîñòðîåíèå ìàòðèöû ïîêðûòèÿ è åå ñîêðàùåíèå. Äèçúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà.
| Ðóáðèêà | Ìàòåìàòèêà |
| Âèä | ðåôåðàò |
| ßçûê | ðóññêèé |
| Äàòà äîáàâëåíèÿ | 21.06.2014 |
| Ðàçìåð ôàéëà | 32,5 K |
Îòïðàâèòü ñâîþ õîðîøóþ ðàáîòó â áàçó çíàíèé ïðîñòî. Èñïîëüçóéòå ôîðìó, ðàñïîëîæåííóþ íèæå
Ñòóäåíòû, àñïèðàíòû, ìîëîäûå ó÷åíûå, èñïîëüçóþùèå áàçó çíàíèé â ñâîåé ó÷åáå è ðàáîòå, áóäóò âàì î÷åíü áëàãîäàðíû.
Ðàçìåùåíî íà http://www.allbest.ru/
Îãëàâëåíèå
- 1. Äèçúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà
- 2. Àëãîðèòì ïîñòðîåíèÿ ÑÄÍÔ
- 3. Òóïèêîâàÿ ÄÍÔ
- 4. Ìèíèìèçàöèÿ áóëåâûõ ôóíêöèé â êëàññå ÄÍÔ
1. Äèçúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà
Êîíúþíêöèÿ è äèçúþíêöèÿ
Îïðåäåëåíèå 1: Êîíúþíêöèåé (èëè ëîãè÷åñêîå óìíîæåíèå) äâóõ áóëåâûõ ïåðåìåííûõ íàçûâàåòñÿ ñëåäóþùàÿ ôóíêöèÿ . êîíúþíêöèÿ äèçúþíêòèâíûé ìàòðèöà
Îïðåäåëåíèå 2: Äèçúþíêöèåé (ëîãè÷åñêîå ñëîæåíèå) äâóõ áóëåâûõ ïåðåìåííûõ íàçûâàåòñÿ ñëåäóþùàÿ ôóíêöèÿ .
Äèçúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà (ÄÍÔ)
Îïðåäåëåíèå 3: Ëèòåðàë -- ëþáàÿ ôîðìóëà âèäà x èëè x¯, ãäå x -- ïðîèçâîëüíàÿ ïåðåìåííàÿ. Ëèòåðàë îáîçíà÷àåòñÿ êàê x˜.
Ò.å. ëèòåðàë -- îáîçíà÷åíèå ñàìîãî ïåðåìåííîãî èëè åãî îòðèöàíèÿ.
Îïðåäåëåíèå 4: Ïåðåìåííàÿ èëè íàçûâàåòñÿ ëèòåðàëîì (èëè áóêâîé).
Îïðåäåëåíèå 5: Êîíúþêöèÿ ëèòåðàëîâ, âñòðå÷àþùèõñÿ íå áîëåå ÷åì ïî îäíîìó ðàçó, íàçûâàåòñÿ ýëåìåíòàðíîé êîíúþíêöèåé. ×èñëî áóêâ âõîäÿùèõ â íå¸ íàçûâàåòñÿ å¸ ðàíãîì. Ýëåìåíòàðíàÿ êîíúþíêöèÿ íàçûâàåòñÿ ïîëíîé îòíîñèòåëüíî ðàññìàòðèâàåìîé áóëåâîé ôóíêöèè, åñëè å¸ ðàíã ðàâåí ÷èñëó ïåðåìåííûõ äàííîé ôóíêöèè.
Îïðåäåëåíèå 6: Äèçúþíêöèÿ êîíå÷íîãî ìíîæåñòâà ýëåìåíòàðíûõ êîíúþíêöèé íàçûâàåòñÿ äèçúþíêòèâíîé íîðìàëüíîé ôîðìîé(ÄÍÔ). ×èñëî ýëåìåíòàðíûõ êîíúþíêöèé, îáðàçóþùèõ äèçúþíêòèâíóþ íîðìàëüíóþ ôîðìó(ÄÍÔ) íàçûâàåòñÿ äëèíîé ÄÍÔ. ÄÍÔ ñîäåðæàùàÿ òîëüêî ïîëíûå ýëåìåíòàðíûå êîíúþíêöèè íàçûâàåòñÿ ñîâåðøåííîé ÄÍÔ (èëè ÑÄÍÔ). Ëþáóþ ëîãè÷åñêóþ ôîðìóëó À ìîæíî ïðåäñòàâèòü â âèäå ÄÍÔ, à çàòåì ÄÍÔ â âèäå ÑÄÍÔ.
2. Àëãîðèòì ïîñòðîåíèÿ ÑÄÍÔ
Ëåãêî ïîñòðîèòü ÑÄÍÔ, ïðåäñòàâëÿþùóþ ïðîèçâîëüíóþ áóëåâó ôóíêöèþ, çàäàííóþ â òàáëè÷íîé ôîðìå. Äëÿ ýòîãî äîñòàòî÷íî âûäåëèòü íàáîðû , íà êîòîðûõ ôóíêöèÿ ïðèíèìàåò çíà÷åíèå 1, è äëÿ êàæäîãî èç íèõ ââåñòè â ÑÄÍÔ ïîëíóþ ýëåìåíòàðíóþ êîíúþíêöèþ, ãäå ëþáàÿ ïåðåìåííàÿ ïðèñóòñòâóåò ñ îòðèöàíèåì, åñëè , è áåç îòðèöàíèÿ, åñëè .
Î÷åâèäíî, äëÿ ëþáîé áóëåâîé ôóíêöèè , êðîìå êîíñòàíòû 0, ñóùåñòâóåò åäèíñòâåííàÿ ÑÄÍÔ (ñ òî÷íîñòüþ äî ïîðÿäêà ëèòåðàëîâ è êîíúþíêöèé). Ïîýòîìó äàííàÿ ôîðìà ïðåäñòàâëåíèÿ áóëåâîé ôóíêöèè ÿâëÿåòñÿ êàíîíè÷åñêîé.
3. Òóïèêîâàÿ ÄÍÔ
Òóïèêîâîé ÄÍÔ (ÒÄÍÔ) ôóíêöèè f íàçûâàåòñÿ òàêàÿ ÄÍÔ åå ïðîñòûõ èìïëèêàíò, èç êîòîðûõ íåëüçÿ âûáðîñèòü íè îäíîãî èìïëèêàíòà, íå èçìåíèâ ôóíêöèè f.
Òåîðåìà: Âñÿêàÿ ìèíèìàëüíàÿ ÄÍÔ íåêîòîðîé ôóíêöèè ÿâëÿåòñÿ åå òóïèêîâîé ÄÍÔ.
Äëÿ ïîëó÷åíèÿ ÌÄÍÔ ôóíêöèè f íåîáõîäèìî ïîñòðîèòü âñå ÒÄÍÔ ôóíêöèè f è âûáðàòü òå èç íèõ, êîòîðûå ñîäåðæàò ìèíèìàëüíîå ÷èñëî áóêâ.
4. Ìèíèìèçàöèÿ áóëåâûõ ôóíêöèé â êëàññå ÄÍÔ
Çàäà÷à ìèíèìèçàöèè ñèñòåìû áóëåâûõ ôóíêöèé â êëàññå ÄÍÔ çàêëþ÷àåòñÿ â ïîèñêå òàêîé ñèñòåìû ÄÍÔ äëÿ çàäàííîé ñèñòåìû áóëåâûõ ôóíêöèé, êîòîðàÿ ñîäåðæàëà áû ìèíèìàëüíîå ÷èñëî êîíúþíêöèé, íà êîòîðûõ çàäàíû ÄÍÔ âñåõ ôóíêöèé ñèñòåìû. Òàêóþ ñèñòåìó ÄÍÔ áóäåì íàçûâàòü êðàò÷àéøåé. Ïðè ðåøåíèè ýòîé çàäà÷è ñóùåñòâåííóþ ðîëü èãðàþò ïîíÿòèÿ èìïëèêàíòû è ïðîñòîé èìïëèêàíòû .
Èìïëèêàíòîé áóëåâîé ôóíêöèè íàçûâàåòñÿ òàêàÿ ýëåìåíòàðíàÿ êîíúþíêöèÿ ëèòåðàëîâ áóëåâûõ ïåðåìåííûõ , åñëè íà ëþáîì íàáîðå çíà÷åíèé ïåðåìåííûõ , íà êîòîðîì ðàâía 1, çíà÷åíèå ôóíêöèè òàêæå ðàâíî 1.
Ïðîñòîé èìïëèêàíòîé íàçûâàåòñÿ òàêàÿ èìïëèêàíòà, êîòîðàÿ ïåðåñòàåò áûòü èìïëèêàíòîé ïðè óäàëåíèè èç íåå ëþáîãî ñèìâîëà.
Êëàññè÷åñêèå ìåòîäû ðåøåíèÿ ïîñòàâëåííîé çàäà÷è îñíîâàíû íà ïðåäâàðèòåëüíîì ïîëó÷åíèè ìíîæåñòâà âñåõ ïðîñòûõ èìïëèêàíò çàäàííîé ñèñòåìû áóëåâûõ ôóíêöèé è ïîñëåäóþùèì âûäåëåíèåì èç íåãî íåêîòîðîãî ïîäìíîæåñòâà, êîòîðîå è áóäåò ïðåäñòàâëÿòü ðåøåíèå. Íàõîæäåíèå êðàò÷àéøåé ñèñòåìû ÄÍÔ ìîæíî ñâåñòè ê ïîèñêó áåçûçáûòî÷íûõ (òóïèêîâûõ) ñèñòåì ÄÍÔ, èç êîòîðûõ âûáèðàåòñÿ êðàò÷àéøàÿ ñèñòåìà ÄÍÔ. Íàõîæäåíèå êðàò÷àéøåé ñèñòåìû ÄÍÔ ìîæåò ïðèâåñòè ê ñëèøêîì ãðîìîçäêèì âû÷èñëåíèÿì, ïîýòîìó â ðàçðàáîòàííîì àëãîðèòìå îñóùåñòâëÿåòñÿ ïîèñê ìåíüøåé ïî ÷èñëó êîíúþíêöèé òóïèêîâîé ñèñòåìû ÄÍÔ ñðåäè íàéäåííûõ ðåøåíèé.
Àëãîðèòì ìèíèìèçàöèè
Àëãîðèòì ìèíèìèçàöèè ñèñòåìû ïîëíîñòüþ îïðåäåëåííûõ áóëåâûõ ôóíêöèé ñîñòîèò èç 3 ýòàïîâ. Ïðåäïîëàãàåòñÿ, ÷òî ôóíêöèè èñõîäíîé ñèñòåìû çàäàíû â âèäå ñîâåðøåííûõ ÄÍÔ, ïîýòîìó åñëè ñèñòåìà ôóíêöèé çàäàíà â äðóãîì âèäå, òî ïåðâîíà÷àëüíî åå íàäî ïðèâåñòè ê ñèñòåìå ñîâåðøåííûõ ÄÍÔ (ÑÄÍÔ).
Ýòàï 1. Ïîèñê âñåõ ïðîñòûõ èìïëèêàíò èñõîäíîé ñèñòåìû ÑÄÍÔ áóëåâûõ ôóíêöèé.
Ýòàï 2. Ïîñòðîåíèå ìàòðèöû ïîêðûòèÿ è åå ñîêðàùåíèå.
Ýòàï 3. Ïîèñê òóïèêîâûõ ñèñòåì ÄÍÔ.
Ðàçìåùåíî íà Allbest.ru
...Ïîäîáíûå äîêóìåíòû
Ìíîãèå ïåðåìåííûå, ìèíèìèçàöèÿ èõ ôóíêöèé. Òî÷êè ìàêñèìóìà è ìèíèìóìà íàçûâàþòñÿ òî÷êàìè ýêñòðåìóìà ôóíêöèè. Óñëîâèÿ ñóùåñòâîâàíèÿ ýêñòðåìóìîâ ôóíêöèè ìíîãèõ ïåðåìåííûõ. Êâàäðàòè÷íàÿ ôîðìà, ïðèíèìàþùàÿ, êàê ïîëîæèòåëüíûå, òàê è îòðèöàòåëüíûå çíà÷åíèÿ.
ðåôåðàò [70,2 K], äîáàâëåí 05.09.2010Îïðåäåëåíèå êîíñòàíò íóëÿ è óñòàíîâëåíèå ýêâèâàëåíòíîñòè ëèíåéíûõ ôóíêöèé ïðè ïîìîùè òàáëèöû èñòèííîñòè. Íàõîæäåíèå ìèíèìàëüíîé äèçúþíêòèâíîé íîðìàëüíîé ôîðìû ôóíêöèè ñ ïîìîùüþ ìåòîäà íåîïðåäåëåííûõ êîýôôèöèåíòîâ. Ïðåîáðàçîâàíèå ôóíêöèè ìåòîäîì Êâàéíà.
êîíòðîëüíàÿ ðàáîòà [335,2 K], äîáàâëåí 05.07.2014Ñîêðàùåííûå, òóïèêîâûå äèçúþíêòèâíûå íîðìàëüíûå ôîðìû. Ïîëíûå ñèñòåìû áóëåâûõ ôóíêöèé. Àëãîðèòì Êâàéíà, Ìàê-Êëàñêè ìèíèìèçàöèè áóëåâîé ôóíêöèè. Ãåîìåòðè÷åñêîå ïðåäñòàâëåíèå ëîãè÷åñêèõ ôóíêöèé. Ãåîìåòðè÷åñêèé ìåòîä ìèíèìèçàöèè áóëåâûõ ôóíêöèé. Êàðòû Êàðíî.
êóðñîâàÿ ðàáîòà [278,1 K], äîáàâëåí 21.02.2009Ïðåäñòàâëåíèå áóëåâîé ôóíêöèè â âèäå äèçúþíêòèâíîé íîðìàëüíîé ôîðìû. Âûðàæåíèå âñåõ ëîãè÷åñêèõ îïåðàöèè â ôîðìóëå ÷åðåç êîíúþíêöèè, äèçúþíêöèè è îòðèöàíèÿ. Ñîêðàùåíèå êîëè÷åñòâà ñëàãàåìûõ, âõîäÿùèõ â ôîðìóëó è êîëè÷åñòâà ïåðåìåííûõ, âõîäÿùèõ â ñëàãàåìîå.
êîíòðîëüíàÿ ðàáîòà [1,3 M], äîáàâëåí 06.05.2013Ïîèñê ñîáñòâåííûõ ÷èñåë è ïîñòðîåíèå ôóíäàìåíòàëüíîé ñèñòåìû ðåøåíèé. Èññëåäîâàíèå çàâèñèìîñòè æîðäàíîâîé ôîðìû ìàòðèöû À îò ñâîéñòâ ìàòðèöû ñèñòåìû. Ïîñòðîåíèå ôóíäàìåíòàëüíîé ìàòðèöû ðåøåíèé ìåòîäîì Ýéëåðà, ðåøåíèå çàäà÷è Êîøè è ïîñòðîåíèå ãðàôèêîâ.
êóðñîâàÿ ðàáîòà [354,7 K], äîáàâëåí 14.10.2010Ïîñòðîåíèå äèàãðàììû ïñåâäîãðàôà, ìàòðèöû èíöèäåíòíîñòè è ìàòðèöû ñîñåäñòâà âåðøèí. Âîññòàíîâëåíèå äåðåâà ïî âåêòîðó ñ ïîìîùüþ àëãîðèòìà Ïðþôåðà. Ïîñòðîåíèå òàáëèöû èñòèííîñòè äëÿ ôóíêöèè è ñîâåðøåííîé êîíúþíêòèâíîé è äèçúþíêòèâíîé íîðìàëüíîé ôîðì.
êîíòðîëüíàÿ ðàáîòà [181,9 K], äîáàâëåí 25.09.2013Ëîãèêà - íàóêà î çàêîíàõ è ôîðìàõ ìûøëåíèÿ, à îñíîâíîå ïîíÿòèå àëãåáðû ëîãèêè - âûñêàçûâàíèå. Îñíîâíûå ïîíÿòèÿ è òîæäåñòâà áóëåâîé àëãåáðû. Èçó÷åíèå ìåòîäîâ ìèíèìèçàöèè áóëåâûõ ôóíêöèé. Ìåòîä Êâàéíà, îñíîâàííûé íà ïðèìåíåíèè äâóõ îñíîâíûõ ñîîòíîøåíèé.
êîíòðîëüíàÿ ðàáîòà [178,2 K], äîáàâëåí 20.01.2011Ïîíÿòèÿ çàâèñèìîé, íåçàâèñèìîé ïåðåìåííûõ, îáëàñòè îïðåäåëåíèÿ ôóíêöèè. Ïðèìåðû íàõîæäåíèÿ îáëàñòè ôóíêöèè. Ïðèìåðû ôóíêöèé íåñêîëüêèõ ïåðåìåííûõ: ëèíåéíàÿ, êâàäðàòè÷åñêàÿ, ôóíêöèÿ Êîááà-Äóãëàñà. Ïîñòðîåíèå ãðàôèêà è ëèíèè óðîâíÿ ôóíêöèè äâóõ ïåðåìåííûõ.
ïðåçåíòàöèÿ [104,8 K], äîáàâëåí 17.09.2013Àëãîðèòì ïîñòðîåíèÿ ìíîãî÷ëåíà Æåãàëêèíà ïî ñîâåðøåííîé äèçúþíêòèâíîé íîðìàëüíîé ôîðìå. Äèàãðàììà Ýéëåðà-Âåííà, èçîáðàæåíèå óíèâåðñàëüíîãî ìíîæåñòâà è ïîäìíîæåñòâà. Ïðîâåðêà ñàìîäâîéñòâåííîñòè, ìîíîòîííîñòè è ëèíåéíîñòè ëîãè÷åñêîé ôóíêöèè äâóõ ïåðåìåííûõ.
êîíòðîëüíàÿ ðàáîòà [227,5 K], äîáàâëåí 20.04.2015Îáùàÿ ñõåìà ìåòîäîâ ñïóñêà. Ìåòîä ïîêîîðäèíàòíîãî ñïóñêà. Ìèíèìèçàöèÿ öåëåâîé ôóíêöèè ïî âûáðàííûì ïåðåìåííûì. Àëãîðèòì ìåòîäà Ãàóññà-Çåéäåëÿ. Ïîíÿòèå ãðàäèåíòà ôóíêöèè. Ñóòü ìåòîäà íàèñêîðåéøåãî ñïóñêà. Ïðîãðàììà ðåøåíèÿ çàäà÷è äèñêðåòíîé îïòèìèçàöèè.
êóðñîâàÿ ðàáîòà [90,8 K], äîáàâëåí 30.04.2011Ëîãè÷åñêàÿ ïåðåìåííàÿ â àëãåáðå ëîãèêè. Ëîãè÷åñêèå îïåðàöèè: îòðèöàíèå, êîíúþíêöèÿ, äèçúþíêöèÿ, èìïëèêàöèÿ, ýêâèâàëåíòíîñòü. Îñíîâíûå çàêîíû àëãåáðû ëîãèêè. Ïðàâèëà ìèíèìèçàöèè ëîãè÷åñêîé ôóíêöèè (èçáàâëåíèå îò îïåðàöèé èìïëèêàöèè è ýêâèâàëåíòíîñòè).
êóðñîâàÿ ðàáîòà [857,2 K], äîáàâëåí 16.01.2012Îïðåäåëåíèå ôîðìóëû èñ÷èñëåíèÿ âûñêàçûâàíèé, îñíîâíûå öåëè ìàòåìàòè÷åñêîé ëîãèêè. Ïîñòðîåíèå ôîðìóë àëãåáðû âûñêàçûâàíèé. Ðàâíîñèëüíîñòü ôîðìóë èñ÷èñëåíèÿ âûñêàçûâàíèé, êîíúþíêòèâíàÿ è äèçúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà. Ïîñòàíîâêà ïðîáëåìû ðàçðåøèìîñòè.
êîíòðîëüíàÿ ðàáîòà [34,3 K], äîáàâëåí 12.08.2010Ïîíÿòèå, îñíîâíûå ñâîéñòâà ýëåìåíòàðíûõ áóëåâûõ ôóíêöèé è ñîîòíîøåíèÿ ìåæäó íèìè. Ôîðìóëèðîâêà ïðèíöèïà äâîéñòâåííîñòè. Ñîâåðøåííûå äèçúþíêòèâíàÿ è êîíúþíêòèâíàÿ íîðìàëüíûå ôîðìû. Ìíîãî÷ëåí (ïîëèíîì) Æåãàëêèíà. Ñóïåðïîçèöèÿ è çàìûêàíèå êëàññà ôóíêöèé.
ïðåçåíòàöèÿ [24,4 K], äîáàâëåí 05.02.2016Ïîëíîòà è çàìêíóòîñòü ñèñòåìû áóëåâûõ ôóíêöèé. Àëãîðèòì ïîñòðîåíèÿ òàáëèöû èñòèííîñòè äâîéñòâåííîé ôóíêöèè. Êëàññ L ëèíåéíûõ ôóíêöèé, ñóùíîñòü ïîëèíîìà Æåãàëêèíà. Ðàñïîçíàâàíèå ìîíîòîííîé ôóíêöèè ïî âåêòîðó åå çíà÷åíèé. Äîêàçàòåëüñòâî òåîðåìû Ïîñòà.
ó÷åáíîå ïîñîáèå [1,3 M], äîáàâëåí 20.08.2014Îñíîâíûå ïîíÿòèÿ àëãåáðû ëîãèêè. Äèçúþíêòèâíûå è êîíúþíêòèâíûå íîðìàëüíûå ôîðìû. Ñóùíîñòü òåîðåìû Øåííîíà. Áóëåâû ôóíêöèè äâóõ ïåðåìåííûõ. Ïîñëåäîâàòåëüíîå è ïàðàëëåëüíîå ñîåäèíåíèå äâóõ âûêëþ÷àòåëåé. Ñâîéñòâà ýëåìåíòàðíûõ ôóíêöèé àëãåáðû ëîãèêè.
êîíòðîëüíàÿ ðàáîòà [345,3 K], äîáàâëåí 29.11.2010Èçó÷åíèå áóëåâûõ ôóíêöèé. Àëãîðèòì ïðåäñòàâëåíèÿ áóëåâûõ ôóíêöèé â âèäå ïîëèíîìà Æåãàëêèíà. Ñèñòåìà ôóíêöèé ìíîæåñòâà. Àëãåáðàè÷åñêèå ïðåîáðàçîâàíèÿ, ìåòîä íåîïðåäåëåííûõ êîýôôèöèåíòîâ. Òàáëèöà èñòèííîñòè äëÿ îïðåäåëåííîãî êîëè÷åñòâà ïåðåìåííûõ.
êóðñîâàÿ ðàáîòà [701,9 K], äîáàâëåí 27.04.2011Ïîíÿòèå ôóíêöèè íåñêîëüêèõ ïåðåìåííûõ. Àðãóìåíòû, ÷àñòíîå çíà÷åíèå è îáëàñòü ïðèìåíåíèÿ ôóíêöèè. Ðàññìîòðåíèå ôóíêöèè äâóõ è òðåõ ïåðåìåííûõ. Ïðåäåë ôóíêöèè íåñêîëüêèõ ïåðåìåííûõ, òåîðåìà. Ãëàâíàÿ ñóùíîñòü íåïðåðûâíîñòè ôóíêöèè íåñêîëüêèõ ïåðåìåííûõ.
ðåôåðàò [86,3 K], äîáàâëåí 30.10.2010Ãðàôè÷åñêàÿ èíòåðïðåòàöèÿ ìíîæåñòâ è îïåðàöèé íàä íèìè. Ìàòåìàòè÷åñêàÿ ëîãèêà, áóëåâà àëãåáðà. Ñîâåðøåííàÿ êîíúþíêòèâíàÿ íîðìàëüíàÿ ôîðìà. Ðàâíîñèëüíûå ôîðìóëû è èõ äîêàçàòåëüñòâî. Ïîëíîòà ñèñòåìû áóëåâûõ ôóíêöèé. Ëîãèêà ïðåäèêàòîâ, òåîðèÿ ãðàôîâ.
ëåêöèÿ [253,7 K], äîáàâëåí 01.12.2009Ñóùíîñòü è ìàòåìàòè÷åñêîå îáîñíîâàíèå áóëåâîé ôóíêöèè, åå íàçíà÷åíèå è ïóòè ðåøåíèÿ. Ïîðÿäîê ñîñòàâëåíèÿ òàáëèöû èñòèííîñòè äëÿ îïðåäåëåííîãî êîëè÷åñòâà ïåðåìåííûõ. Ñâÿçü âñåõ äèçúþíêöèé â êîíúþíêöèþ. Ðàçðàáîòêà è ëèñòèíã ïðîãðàììû ïðåäñòàâëåíèÿ.
êóðñîâàÿ ðàáîòà [837,6 K], äîáàâëåí 27.04.2011Îñíîâíûå ïðàâèëà ðåøåíèÿ ñèñòåìû çàäàííûõ óðàâíåíèé ìåòîäîì Ãàóññà ñ ìèíèìèçàöèåé íåâÿçêè è ìåòîäîì ïðîñòûõ èòåðàöèé. Ïîíÿòèå èñõîäíîé ìàòðèöû; íàõîæäåíèå îïðåäåëèòåëÿ äëÿ ìàòðèöû êîýôôèöèåíòîâ. Ïðèìåð ñîñòàâëåíèÿ áëîê-ñõåìû ìåòîäà ìèíèìèçàöèè íåâÿçîê.
ëàáîðàòîðíàÿ ðàáîòà [264,1 K], äîáàâëåí 24.09.2014