1.
|
Алексеев В.Б., Кудрявцев В.Б., Сапоженко А.А., Яблонский С.В. и др. Методическая разработка по курсу “Математическая логика и дискретная математика”. 1980, -135 с.
|
2.
|
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной математики. -М.: Наука, 1977.
|
3.
|
Гильберт Д., Бернайс П. Основания математики. Логические исчисления и формализация арифметики. -М.: Наука, 1979.
|
4.
|
Гёдел К. Совместимость аксиомы выбора и обобщенной континиум-гипотезы с аксиомами теории множеств, УМН, 3, №1, 1948, 96-149 с.
|
5.
|
Гейтинг А. Интуиционизм, -М.: МИР, 1965.
|
6.
|
Горбатов В.А. Семантическая теория проектирования автоматов. -М.: Энергия, 1979.
|
7.
|
Горбатов В.А., Кафаров В.В., Павлов П.Г. Логическое управление технологическими процессами. -М.: Энергия, 1978.
|
8.
|
Горбатов В.А., Останков Б.Л., Фролов С.А. Регулярные структуры автоматного управления /Под ред. В.А.Горбатова. -М.: Машиностроение, 1980.
|
9.
|
Горбатов В. А. Основы дискретной математики. –М.: Высшая школа, 1986, -311 с.
|
10.
|
Горбатов В.А., Павлов П.Г., Четвериков В.Н. Логическое управление информационными процессами. -М.: Энергоатомиздат, 1984.
|
11.
|
Гиндикин С.Г. Алгебра логики в задачах. –М.: Наука, 1972.
|
12.
|
Гаврилов М.А., Девятков В.В., Пупырев Е.И. Логическое проектирование дискретных автоматов. –М.: Наука, 1977, -352 с.
|
13.
|
Ёšубов Т. Математик мантиš элементлари. -Тошкент: Œšитувчи, 1983, 159 б.
|
14.
|
Т.Ёšубов, С.Каллибеков. Математик мантиš элементлари. Тошкент, Ўšитувчи, 1996 й, -272 б.
|
15.
|
Ершов Ю.Л., Палютин Е.А. Математическая логика. –М.: Наука, 1979.
|
16.
|
Журавлёв Ю.И., Мазурик В.П., Столяров Л.Н. Элементы математической логики. –Д.: МФТИ, 1975, -74 с.
|
17.
|
33.А.А.Зыков. Основы теории графов. –М.: Наука, 1987, -384 c.
|
18.
|
Искандаров Р.И. Математик логика элементлари. Самарšанд: СамДУ, 1970, 324б.
|
19.
|
Игошин В.И. Математическая логика и теория алгоритмов. Саратов: Изд-во Саратовского университета, 1991.
|
20.
|
Игошин В.И. Задачник-практикум по математической логике. -М.:Просвещение, 1986.
|
21.
|
Клини С.Математическая логика.-М.:МИР,1973,480с.
|
22.
|
Карри Х.Б. Основания математической логики. -М.: МИР, 1969.
|
23.
|
Кондаков Н.И. Введение в логику. -М.: Наука, 1967. -466 с.
|
24.
|
Каменский М.И., Петрова Л.П., Садовский Б.Н. Математическая логика. –М.: МГУ, 1982, -62 с.
|
25.
|
Калбертсон Т. Математика и логика цыфровых устройств. –М.: Просвещение, 1965.
|
26.
|
Кудрявцев В.Б. а) Теорема полноты для одного класса автоматов без обратных связей. -Проблемы кибернетики, Вып.8. -М.: Физматгиз, 1962, С.91-116. б) О мощностях множеств предполных множеств некоторых функциональных систем, связанных с автоматами. –Проблемы кибернетики, Вып.13. -М.: Наука, 1965, С.45-74.
|
27.
|
Колдуэлл С. Логический синтез релейных устройств. -М.: 1961.
|
28.
|
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. -М.: Наука, 1975.
|
29.
|
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. Курс лекций. Задачник-практикум и решения. -Санкт-Петербург: Лань, 1999, 286 с.
|
30.
|
Лупанов О.Б. а)О синтезе некоторых классов уп-равляющих систем. Сб. “Проблемы кибернетики”, Вып.10. –М.: Физматгиз, 1963, 88-96 с. б)Об одном подходе к синтезу управляющих систем-принципы локального кодирования. - Проблемы кибернетики, Вып.14. -М.: Наука, 1965, С.31-110. в)Об возможнос-тях синтеза схем из произвольных элементов. -Труды МИАН СССР, 51, 1958, С.158-183.
|
31.
|
Ляпунов А.А. О логических схемах программ. -Проблемы кибернетики, Вып.1. -М.: Физматгиз, 1958, С.46-74.
|
32.
|
Лазарев В.Г, Пийль Е.И. Синтез управляющих автоматов. -М.: Энергия, 1978.
|
33.
|
Мальцев А.И. Алгоритмы и рекурсивные функции. –М.: Наука, 1965.
|
34.
|
Мальцев А.И. Алгебраические системы. –М.: Наука, 1970.
|
35.
|
Марков А.А. Теория алгорифмов. Труды математического института АН СССР им. В.А.Стеклова, XLII, АН РФ, 1954.
|
36.
|
Марков А.А. Невозможность некоторых алгорифмов в теории ассоциативных систем, ДАН СССР, 55, 1947, 587-590 с.
|
37.
|
Марков А.А. Невозможность некоторых алгорифмов в теории ассоциативных систем, ДАН СССР, 58, 1947, 353-356 с.
|
38.
|
Матиясевич Ю.В. Диофантовость перечислимых множеств, ДАН СССР, 191, 1970, 279-282 с.
|
39.
|
Мендельсон Э. Введение в математическую логику. –М.: Наука, 1976, 320 с.
|
40.
|
Михайлов А.Б., Плоткин А.И. Введение в алгебру и математический анализ. Сборник задач. 1. Высказывания. Предикаты. Множества. -Санк-Петербург: 1992.
|
41.
|
Новиков П.С. Конструктивная математическая логика с точки зрения классической.-М.:Наука, 1977.
|
42.
|
Новиков П.С. Элементы математической логики. –М.: Наука, 1973.
|
43.
|
Поспелов Д.А. Логико-лингвистические модели в системах управления. –М.: Энергия, 1981.
|
44.
|
Оре О. Теория графов. –М.: Наука, 1980, -336 с.
|
45.
|
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. –М.: МИР, 1972.
|
46.
|
Трахтенброт Б.А. Алгоритмы и машинное решение задач. –М.: Физматдиз, 1960.
|
47.
|
Тœраев Ќ.Т. Математик мантиš ва дискрет математика I-šисм. -Самарšанд: СамДУ, 2000, 174 б.; II-šисм. -Самарšанд: СамДУ, 2001, 201 б.
|
48.
|
Л.Р.Форд., Д.Р.Фалкерсон.-Потоки в сетях. -Москва: Мир, 1966, -276 c.
|
49.
|
Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. –М.:Наука, 1960, -400 с.
|
50.
|
Шестаков В.И. Математическая логика и автомати-ка. “Математика в школе”, 1958, № 6., 1959, № 1.
|
51.
|
Шеннон К.Э. Работы по теории информации и кибернетики. –М.: ИЛ, 1963.
|
52.
|
Чёрч А. Введение в математическую логику, том 1, -М.: ИЛ, 1961.
|
53.
|
Чудновский Г.В. Диофантовы предикаты, УМН, 25, №4, 1970, 185-186 с.
|
54.
|
Чегис И.А., Яблонский С.В. Логические способы контроля работы электрических схем. –М.: Труды МИАН СССР, 51, 1958, С.270-360.
|
55.
|
Угрюмов Е.П. Проектирование элементов и узлов ЭВМ. –М.: Высшая школа, 1987. -318 с.
|
56.
|
Яблонский С. В. Введение в дискретную математику. -Москва: Наука, 1979, -272 с.
|
57.
|
Яблонский С. В., Лупанов О. Б. и др. Дискретная математика и математические вопросы кибернетики. Т.I. –М.: Наука, 1974, -312 с.
|
58.
|
Яблонский С.В. Основы алгебры логики и теории контактных схем. –М.: Тр. института математики им. Стеклова, 1958, т. 51.
|
59.
|
Яблонский С.В. а)Функциональные построения в k-значной логике.–М.:Труды МИАН СССР,51,1958, С.5-142. б) Методические разработки по курсу “Элементы дискретной математики”.-М.:МГУ,1971.
|
60.
|
Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. -М.: Наука, 1966.
|
61.
|
Государственный стандарт Узбекистана. Высшее образование. Требования к обязательному минимуму содержания и уровню подготовки бакалавра по направлению В480100 – Прикладная математика и информатика. –Ташкент: 1999. с.13-14.
|
62.
|
Государственный стандарт Узбекистана. Высшее образование. Требования к обязательному минимуму содержания и уровню подготовки бакалавра по направлению В140100 – Математика и информатика. –Ташкент: 1999. с.18.
|
63.
|
Государственный стандарт Узбекистана. Высшее образование. Требования к обязательному минимуму содержания и уровню подготовки бакалавра по направлению В522600 – Информатика и информационная технология. –Ташкент: 1999. с.11.
|
64.
|
Государственный стандарт Узбекистана. Высшее образование. Требования к обязательному минимуму содержания и уровню подготовки бакалавра по направлению В460100 – Математика. –Ташкент: 1999. с.12.
|
65.
|
Šобулов В.К. Раšамли автоматлар. –Ташкент: 1980. –206 б.
|
