Sunday, April 18, 2010

МТ116 Лекц 13

Предикат логик.

Лекц 13

Read more...

MT116 Лекц 12

Гаргалгааны дүрэм: Импликаци үүсгэх дүрэм.

Лекц 12

Read more...

MT116 Лекц 11

Оюун дүгнэлтийн гаргалгаа: Эсрэгээс нь батлах дүрмүүд.

Лекц 11


Read more...

MT116 Лекц 10

Гаргалгааны дүрмүүд(үргэлжлэл), үзүүл дүрэм

Лекц 10

Read more...

MT116 Лекц 9

Оюун дүгнэлтийн гаргалгаа, формаль систем, гаргалгааны дүрмүүд.

Лекц 9

Read more...

MT116 Лекц 8

Оюун дүгнэлтийг үндэслэлтэй эсэхийг шалгах хүснэгтийн арга, Уангийн арга

Лекц 8

Read more...

Monday, April 5, 2010

SA 200 хичээлийн лаб 4

Дараах 2 ажлыг хийж шалгуулна уу.

1. Фермагийн теоремыг ашиглаж 3^201 mod 11-г ол. (Үүнд: 3^201-нь гурвын 201 зэрэг юм.)
2. Оюутан бүр өөрийн оюутны кодноос n гэсэн тоог дараах байдлаар гаргаж авна.
Хэрэв таны оюутны кодын сүүлийн 3 цифр болох abc тоо сондгой бол n=abc,
тэгш бол n=abc+1.
Оюутан бүр өөрийн n тоог Miller-Rabin-ий тестээр шалгаж анхны тоо эсэхийг тогтооно.
Тестийг нэг удаа биш a-ийн хэд хэдэн утганд хийж харгалзах магадлалыг ихэсгэ.
Жишээлбэл. SW08D232 кодноос n=232+1=233 гэсэн тоо үүснэ.

Read more...