WWW.KNIGI.KONFLIB.RU

БЕСПЛАТНАЯ ЭЛЕКТРОННАЯ БИБЛИОТЕКА

 
<< HOME
Научная библиотека
CONTACTS

Pages:     | 1 |   ...   | 6 | 7 ||

«Излагаются некоторые результаты по теории сложности схемных и тьюринговых алгоритмов, полученные А. Е. Андреевым, Нгуен Ким Ань и Т. М. Игамбердыевым. Введение Алгоритмы ...»

-- [ Страница 8 ] --

[40] Журавлев Ю. И. Теоретико-множественные методы алгебры логики // Проблемы кибернетики. Вып. 8. М.: Физматгиз, 1962.

[41] Журавлев Ю. И. Алгоритмы упрощения дизъюнктивных нормальных форм конечного индекса // ДАН СССР. 139. № 6. 1961.

С. 1329–1331.

[42] Журавлев Ю. И. Локальные алгоритмы вычисления информации // Кибернетика. № 1. 1965. С. 12–19.

[43] Журавлев Ю. И. Оценка сложности локальных алгоритмов для некоторых экстремальных задач на конечных множествах // ДАН СССР. 158. № 5. 1964. С. 1018–1021.

[44] Дискретная математика и математические вопросы кибернетики. Т. 1. М.: Наука, 1974. С. 67–148.

[45] Коршунов А. Д. О числе монотонных булевых функций // Проблемы кибернетики. Вып. 38. М.: Наука, 1981. С. 5–108.

[46] Сапоженко А. А. Метрические свойства почти всех функций алгебры логики // Дискретный анализ. Вып. 10. Новосибирск: ИМ СО АН СССР, 1967. С. 91–119.

[47] Холл М. Комбинаторика. М.: Мир, 1970.

[48] Яблонский С. В. Функциональные построения в k-значной логике // Труды МИ АН СССР. 51. М.: АН СССР, 1958. С. 5–142.

[49] Katona G. A theorem of nite sets, Theory of Graрh. New York, London, 1969. P. 187–208.

[50] Нгуен Ким Ань. О некоторых характеристиках алгоритмов минимизации булевых функций // ДАН СССР.

[51] Нгуен Ким Ань. Некоторые харакьтеристики алгоритмов минимизации булевых функций // Тезисы докладов IV Всесоюзной конференции по математической логике. Тбилиси, 1982.

[52] Нгуен Ким Ань. О некоторых характеристиках алгоритмов минимизации булевых функций // Проблемы кибернетики.

[53] Бибило П. Н., Енин С. В. Декомпозиция булевой функции с минимальным числом существенных аргументов подфункций // Известия АН СССР. Техн. киб. 1980. № 3. С. 123–129.

[54] Menicon G. Umfassende Rechnerprogramme Losung vielschichtiger Luverlassigkeitsprobleme // Elek.-Nachr. 1973. N 3. S. 267–276.

[55] Закревский А. Д. Алгоритмы синтеза дискретных автоматов.

М.: Наука, 1971.

[56] Амбарцумян А. А., Малевич А. Н. Синтез программ логического управления по алгоритму, заданному системой функций возбуждения и выходов // Проектирование устройств логического управления. М.: Наука. С. 41–52.

[57] Горелик А. Л., Скрипкин В. А. Методы распознавания. М.: Высшая школа, 1984.

[58] Яблонский С. В., Демидова Н. Г., Константинов P. M., Королева З. Е., Кудрявцев В. Б., Сиротская С. В. Тестовый подход к оценке геолого-структурных факторов и масштабов оруднения // Геология рудных месторождений. 1971. Т. 13. № 2. С. 30–42.

[59] Соловьев Н. А. Тесты. Новосибирск: Наука, 1978.

[60] Константинов P. M., Королева З. Е. Применение тестовых алгоритмов к задачам геологического прогнозирования // Распознавание образов. Труды Международного симпозиума 1971 г.

по практическим применениям методов распознавания образцов ВЦ АН СССР. М., 1973. С. 194–204.

[61] Сафарян А. А. О решении систем булевых уравнений, возникающих при построении тестов и систем нельсоновского типа // Журнал выч. мат. и мат. физ. 24. № 10. С. 1590–1595.

[62] Яблонский С. В. Функциональные построения в k-значной логике // Труды МИАН им. Стеклова. 1958. Т. 51. С. 5–142.

[63] Кабулов А. В. Приложения дискретной математики к кибернетике. Ташкент: ФАН, 1982.

[64] Коваленко И. Н. К вычислению вероятности единственности решения системы случайных нелинейных булевых уравнений // Кибернетика. 1973. № 3. С. 12–15.

[65] Skala Helen. The general solution of an arbitrary Boolean equations // Amer. Math. Monthly. 1967. 74. N 9. Р. 1074–1077.

[66] Bochman D., Postho Ch. Die Behandlung Booliacher Oleichungen mit Hilfe des Booleschen Dierentialkalkuls // Sitrungsber Akad.

Wiss. DDR. Math.-Naturwiss.-Tech. 1979. N 12. S. 5–25.

[67] Bankovic Dragic. Solving systems of arbitraty equations // Discrete Math. 1983. 46. N 3. P. 305–309.

[68] Antoniu Svoboda. An Algorithm for solving Boolean Equations // IEEE Trans. compt. Vol. EC–12. 0ct. 1963. N 5. P. 557–560.

[69] Уткин А. А. Решение логических уравнений // Автоматизация логического проектирования. Минск: ИТК АН БССР, 1982.

[70] Кабулов А. В. Игамбердыев Т. М. Об одном подходе к решению систем логических уравнений // Вопросы вычислительной и прикладной математики. Ташкент, 1984. Вып. 74. С. 68–73.

[71] Закревский А. Д. Логические уравнения. Минск: Наука и техника, 1975.

[72] Григорян Ю. Г. Алгоритм решения системы логических уравнений // Журнал выч. мат. и мат. физ. 1962. Т. 2. № 1. С. 186–189.

[73] Tapia Moier A., Tucker Jerry H. Complete solution of Boolean equations // IEEE Trans comput. 198О. 29. N 7. Р. 662–665.

[74] Vaquero A., Iglesias M. Aplicacion del metodo de resolution de S.E.B. de Tagia and Tucker a la sintesis de funkiones multiples // Revista inf. у autom. 1983. 16. N 58. P. 35–39.

[75] Brown F. M. Reduced solution of Boolen equations // IEEE Trans.

comput. Vol. C–19. Oct. 1970. P. 970–981.

[76] Свобода А., Чулик К. Алгоритм для решения булевых уравнений // Автоматика и телемеханика. 1964. 25. № 3. С. 374–381.

[77] Сериков Ю. А. Алгебраический метод решения логических уравнений // Изв. АН СССР. Техн. киб. 1972. № 2. С. 114–124.

[78] Follinger Otto. Die Losung Boolischer Glecichungen // Elektron Datenverard. 1965. 5. N 6. S. 253–260.

[79] Егиазарян Э. В. Об одном классе систем булевых уравнений // Журнал выч. мат. и мат. физ. 1976. № 4. С. 1073–1077.

[80] Сафарян А. А. NP-полнота задачи разбиения систем булевых уравнений на минимальные блоки. М.: ВЦ АН СССР, 1984.

[81] Чистов В. П. О системах логических уравнений // Деп. ин-т мат.

и мех. Урал. науч. центра АН СССР. Свердловск, 1984.

[82] Нечепуренко М. Н. Элементы булева интервального анализа // Системное моделирование в информатике. Новосибирск: ВЦ СО АН СССР, 1985. С. 37–61.

[83] Peeva К. Sistems of linear equations over a bounded chain // Acta Cybernetica. 7. Fas. 2. Forum centre publ. cybern. Hungaricum Szeged. 1985. P. 195–202.

[84] Леонтьев В. К. Нурлыбаев А. Н. Об одном классе систем булевых уравнений // Журнал выч. мат. и мат. физ. 1975. 15. № 6.

С. 1568–1579.

[85] Матросова А. Ю. Об объеме вычислений при решении булевых уравнений // Мат. сб. Томского ун-та. 1975. Вып. 2. С. 120–128.

[86] Андреев А. Е. О тупиковых и минимальных тестах // ДАН СССР. 1981. 256. № 3. С. 521–524.

[87] Андреев А. Е. О качественных и метрических свойствах тестовых алгоритмов / Автореф. дис. канд. физ.-мат. наук. М.: ВЦ [88] Андреев А. Е. Об асимптотическом поведении числа тупиковых тестов и минимальной длины теста для почти всех таблиц // Проблемы кибернетики. Вып. 41. С. 117–141. M.: Наука, 1984.

[89] Дюкова Е. В. Об асимптотически оптимальном алгоритме построения тупиковых тестов для бинарных таблиц // Проблемы кибернетики. Вып. 34. С. 169–186. М.: Наука, 1978.

[90] Егиазарян Э. В. Метрические свойства систем булевых уравнений // Доклады АН Арм. ССР. 1981. 72. № 2. С. 67–72.

[91] Егиазарян Э. В. Оценки, связанные с числом решений систем булевых уравнений // Вопросы кибернетики, комбинаторный анализ и теория графов. М., 1980. Вып. 64. С. 124–130.

[92] Феллер В. Введение в теорию вероятностей и ее приложения.

[93] Дискретная математика и математические вопросы кибернетики / Под общей редакцией Яблонского С. В. и Лупанова О. Б.

T. 1. M.: Наука, 1974.

[94] Курош А. Г. Курс высшей алгебры. М.: Наука, 1975.

[95] Марков А. А. О минимальных контактно-вентильных двуполюсниках для монотонных симметрических функций // Проблемы кибернетики. 1962. Вып. 8. С. 117–122.

[96] Нечипорук Э. И. Об одной булевской матрице // Проблемы кибернетики. 1969. Вып. 21. С. 237–240.

[97] Нечипорук Э. И. О реализации дизъюнкции и конъюнкции в некоторых монотонных базисах // Проблемы кибернетики.

1970. Вып. 23. С. 291–294.

[98] Paterson M. S. Complexity of monotone networks for boolean matrix product // Theoretic Computer Science. 1975. V. 1. P. 13–20.

[99] Pratt V. P. The eect of basis on size of Boolean expressions // Proc. of 16th Ann. Symp. Found. of Comp. Sci. New York, 1975.

[100] Pipendger N. On another Boolean matrix // IBM Research Report RC–6914. 1977.

[101] Mehlhorn K., Galil Z. Monotone switching circuits and Boolean matrix product // Computing. 1976. V. 16. P. 99–111.

[102] Mehlhorn K. Some remarks on Boolean sums // Acta Informatica.

1979. V. 12. P. 371–375.

[103] Wegener I. Switching functions whose monotone complexity in nearly quadratic // Theoretical Computer Science. 1979. V. 9.

[104] Окольнишникова Е. А. Монотонная булева система с квадратичной сложностью реализации в базисе {&,, 0, 1} // Дискретный анализ. 1984. Вып. 41. С. 81–98.

[105] Андреев А. Е. Об одном методе получения нижних оценок сложности индивидуальных монотонных функций // Препринт № 248 ИПМех АН СССР и МГУ. 1985. С. 1–15.

[106] Андреев А. Е. Об одном методе получения нижних лценок сложности индивидуальных монотонных функций // ДАН СССР.

1985. Т. 282. С. 1033–1037.

[107] Разборов А. А. Нижние оценки монотонной сложности некоторых булевых функций // ДАН СССР. 1985. Т. 281. № 4.

[108] Разборов А. А. Нижние оценки монотонной сложности логического перманента // Матем. заметки. 1985. Т. 37. № 6.

[109] Андреев А. Е. Об одном методе получения эффективных нижних оценок монотонной сложности // Алгебра и логика. 1987.

[110] Субботовская Б. А. О реализации линейных функций формулами в базисе &,, ¬ // ДАН СССР. 1961. Т. 136. № 3. С. 553–555.

[111] Нечипорук Э. И. Об одной булевской функции // ДАН СССР.

1966. Т. 169. № 4. С. 765–767.

[112] Храпченко В. М. Об одном методе получения нижних оценок сложности -схем // Математические заметки. 1971. Т. 10. № 1.

[113] Храпченко В. М. Нижние оценки сложности схем из функциональных элементов (обзор) // Кибернетический сборник. 1984.

[114] Андреев А. Е. Об одном методе получения более чем квадратичных эффективных нижних оценок сложности -схем // Вестник Моск. Ун-та. Сер. 1: Математика, механика. 1987. № 1. С. 70–73.

[115] Андреев А. Е. К проблеме минимизации дизъюнктивных нормальных форм // ДАН. 1984. Т. 274. № 2. С. 265–269.

[116] Яблонский С. В. и др. Дискретная математика и математические вопросы кибернетики // М.: Наука, 1974.

[117] Глаголев В. В. // ДАН. 1964. Т. 158. № 4. С. 770–773.

[118] Сапоженко А. А. // ДАН. 1968. Т. 180. № 1. С. 32–35.

[119] Кузюрин Н. Н. // Комбинаторно-алгебраические методы в прикладной математике. Горький, 1980. С. 88–98.

[120] Васильев Ю. Л. // ДАН. 1966. Т. 171. № 1. С. 13–16.

[121] Васильев Ю. Л. // Дискретный анализ. Новосибирск, 1978.

[122] Шоломов Л. А. // Проблемы кибернетики. М.: Наука, 1969.

Вып. 21. С. 215–226.

[123] Коршунов А. Д. // Дискретный анализ. Новосибирск, 1980.

[124] Кузнецов С. Е. // Дискретный анализ. Новосибирск, 1981.



Pages:     | 1 |   ...   | 6 | 7 ||
 


Похожие работы:

«19 ФОРУМ СОЦИАЛИСТИЧЕСКИХ И СОЦИАЛДЕМОКРАТИЧЕСКИХ ПАРТИЙ СТРАН СНГ БИБЛИОТЕКА ИНСТИТУТА СПРАВЕДЛИВЫЙ МИР 19 Выпуск ФОРУМ СОЦИАЛИСТИЧЕСКИХ И СОЦИАЛ-ДЕМОКРАТИЧЕСКИХ ПАРТИЙ СТРАН СНГ НАША ОБЩАЯ ЦЕЛЬ — СПРАВЕДЛИВОСТЬ И СОЛИДАРНОСТЬ (МАТЕРИАЛЫ ПЕРВОГО ЗАСЕДАНИЯ) Москва, 8 февраля 2010 года МОСКВА 2010 Ответственный редактор: д.ф.н. В.Н. Шевченко Материалы первого заседания Форума социалистических и социал-демократических партий стран СНГ Наша общая цель — справедливость и солидарность. — Москва :...»

«г.Хабаровск 20 июня 2011 года. Решением Ревизионной комиссии ТСЖ Луч назначена проверка финансово-хозяйственной деятельности ТСЖ за за период с 01 декабря 2010 г. по 31 декабря 2010 г. с 01 января 2011 г. по 31 марта 2011г. (протокол заседания №2 от 04.04.2011 г.). Проверка финансово-хозяйственной деятельности Товарищества проводилась в составе председателя комиссии Хроменковой Т.А., члена комиссии Хващинской О.А. в соответствии с разработанным планом: 1). Выполнение решений общего собрания...»

«Бастинда и крылатый лев Сергей Сухинов 2 Книга Сергей Сухинов. Бастинда и крылатый лев скачана с jokibook.ru заходите, у нас всегда много свежих книг! 3 Книга Сергей Сухинов. Бастинда и крылатый лев скачана с jokibook.ru заходите, у нас всегда много свежих книг! Сергей Сухинов Бастинда и крылатый лев 4 Книга Сергей Сухинов. Бастинда и крылатый лев скачана с jokibook.ru заходите, у нас всегда много свежих книг! Далеко-далеко, за огромным Атлантическим океаном, лежит американский материк. В самом...»

«Джека Маврогордато Бывшего президента Международной Ассоциации Соколиной Охоты и Охраны Хищных Птиц Бывшего президента Клуба Британских Сокольников Почетного члена Ассоциации Североамериканских Сокольников Почетного члена Немецкого Ордена Сокольников Почетного члена Национальной Ассоциации Сокольников Франции Почетного члена Клуба Марии Бургундской Почетного члена Клуба Итальянских Сокольников с рисунками R.D. DIGBY, D. M.HENRY, & G.E.LODGE WESTERN SPORTING RANCHESTER, WYOMING, USA Я приглашаю...»

«Молодежная повестка на XXI век – это документ, который отражает видение молодежи городских проблем, и наглядно показывает, что учитывать мнение молодежи в решении городских проблем важно и необходимо. Также здесь освещен наработанный опыт в рамках российско-британского проекта Гражданские инициативы России – шаги к устойчивому будущему, более известного как ПРАИМ (Принятие Решений Администрацией И Молодежью). Этот документ будет полезен всем участникам процесса принятия решений: представителям...»

«ISBN 1-56773-038-8 ПЕТР ДЕЙНЕКА Основатель и президент Славянского Евангельского Общества 1934-1975 МНОГО МОЛИТВЫ — МНОГО СИЛЫ Славянское Евангельское Общество 2005 Петр Дейнека Много молитвы — много силы В книге использованы ссылки на Синодальное издание Библии. Издание на русском языке © 2005 Славянское Евангельское Общество Loves Park, Illinois 61111, U.S.A. ISBN 1-56773-038-8 Отпечатано в типографии ПРИНТКОРП. ЛП № 130 от 30.04.04. Староборисовский тракт, 40, Минск, 220141, Беларусь. Тираж...»

«Я приду снова Роман-трилогия КНИГА ВТОРАЯ Дюссельдорф 2013 Елена Алергант. Я приду снова. Роман-трилогия. Часть II Copyright © 2013 Елена Алергант Редактор: Евгения Жмурко Дизайн и оформление: The Val Bochkov Studio © (USA) ZA-ZA Verlag: http://za-za-verlag.net/ Dsseldorf, с. 385 Елена Алергант представляет вторую книгу трилогии Я приду снова..Три дневника, три одинаковых портрета, три женщины, которых разделяют четыре поколения. Правнучка наследует не только лицо, но и внутреннюю суть...»

«Издательство ДОСААФ СССР, 1976 К ЧИТАТЕЛЮ Из всех видов автомобильных соревнований наиболее приближенным к обычным условиям эксплуатации машин являются ралли. В то же время они включают в себя почти все отдельные виды автоспорта. Так, в современном ралли есть скоростные гонки как по шоссе, так и по грунтовым дорогам, подъемы на холм, фигурное вождение и слалом, участки с повышенной сложностью движения. В общем, ралли не только разнообразны по своему содержанию, но и рассчитаны на автомобилистов...»

«НОРМАТИВНЫЕ ДОКУМЕНТЫ. ДОКУМЕНТЫ, ОБЕСПЕЧИВАЮЩИЕ РЕАЛИЗАЦИЮ ПРОГРАММЫ: 1. Федеральный компонент государственного стандарта (начального общего образования, основного общего образования, среднего (полного) общего образования по русскому языку, утверждён приказом Минобразования России от 5.03.2004 г. № 1089. 2. Федеральный государственный стандарт основного общего образования, утверждён приказом Министерства образования и науки Российской Федерации от 17 декабря 2010 г. № 1897. 3. Обязательный...»

«СОДЕРЖАНИЕ ТЕРМИНЫ, ОПРЕДЕЛЕНИЯ И СОКРАЩЕНИЯ...4 Глава 1. Права и обязанности ООО КХЛ-Маркетинг и Клубов..5 Статья 1. Основные направления деятельности ООО КХЛ-Маркетинг.5 Статья 2. Обязанности ООО КХЛ-Маркетинг...5 Статья 3. Обязанности Клуба...5 Статья 4. Требования к форме хоккеистов и судей..7 Статья 5. Работа информационного табло...7 Статья 6. Перерывы между периодами матча...7 Статья 7. Права Клуба... Статья 8. Официальные предсезонные матчи Клуба..8 Глава 2. Организация телевизионных...»






 
© 2013 www.knigi.konflib.ru - «Бесплатная электронная библиотека»

Материалы этого сайта размещены для ознакомления, все права принадлежат их авторам.
Если Вы не согласны с тем, что Ваш материал размещён на этом сайте, пожалуйста, напишите нам, мы в течении 1-2 рабочих дней удалим его.