Ш.И._Галиев_МЛ_и_ТА_2004
.pdfСПИСОК ЛЖЕГАТУГЫ
1.AxuuoeO. Е. Дискретная математика. Логика, группы, гра фи. М.: Л39 Лаборатория Базовых.Знаний, 2(101.352с.
2.Ахо А.. Хспкрофт Дж. Ульман Дж. Построение и акалга вычислигедьиыхалгаритие. М.: Мир, 1979. 536с.
3.Бптыршин И. 3. Основные оперший нечеткой логики и их обобщения. Казань; Отечество, 2091.102с.
4.Вражка И. Программирование на языке ПРОЛОГ дли искус ственногоинтеллекта/ Пер. с англ. М.: Мир, 1990. 560 с.
5.Гавршсв Г. П., Сапстенко А. А. Сборникзадач по дискрет ной математике. М.: Наука, 1977. 368 с.
6.Гетманам А. Д. Учебник по ЛОГИК. 2-е изд. М.: ВЛАДОС, 1995. 186 с.
7.ГтъСертД., Бернаш П. Основания математики. Логические исчисления ифорыалиаащи арифметики/Пер. с нем. М.: Haysa, 1979,
560 о.
8. Гииаикин С. Г. Алгебра логики в задачах. М. Наука, 1975.
288 с.
9.Горба»тВ. А. Фундаментальные основы дискретной мате матики. Ин]юрмавдояная математика: Учебникдля тузов. М.: Наука, 2000.5440.
10. Гзри М.. Джонсон Д. Вычислительные машины и труднор шаемш задачи/ Пер. с англ. М.: Мир, 1982. 416с.
Ч.ЕфимоеН. В. Высшмгеометрия.М.;Физматлит, 1961.5(0 с.
12. Заде Л. Понятие лингвистической переменной а его приме нение к Принятию приближенных решений / Пер. с ант. М.: Мир,
13.И&лсаЮ- R. Модальная логика. М.: Издательства МП', 1991.224с.
И. Клгиш С Математическая лпгика / Пер. с англ. М.: Мир, 1973. 480&.
15.Kill- О. J. and Folger Т. A. Fuzzy Sets, Uncertainty and Inform
ix . Prentice Tlal! PTR, Englewood Cliffs. New Jctsty, 1988. 356p.'
16.Кофлшь А. Введение в теорию нечетких множеств / Пер. с франц. М.: Радио исаязк, 1982. 432с.
17.Кузнецов О. П., Адельан-Везьсхий Г. ,М. Дискретная матема
тика для инженера. М.; Экергоатомитдат, 1988.480с.
18.Лавров И.А.. Максимова ЛЯ. Задачи по теории множесп, математической логике г теории алгоритмов м.; Наука, 1975.240с.
19.Логический подход к и:кусстаекному интеллекту: от клас сической логики к логическому программированию / Пер, с франц. А.Тей, П.Грибоиок, Д.Луи Д и др. М.: Мир, 1990. 432с.
20.Лоръср Ж.-Л. Системы искусстяеняого ихтеллет / Пер. сфранц. М.: Мир, 1991.568 с.
21.Мендельсон Э Введение в математическую логику / с англ. М.: Наука. 1984. 320 с.
22.Нефедов В. И. Остова В А. Курс дискретной математики 'Моск. авнаи, ин-г. М., 1992. 264 с,
23.Нечеткие множества в модедак управления и исвусспкнного интеллекта I А. Н. Аверкин, Н. 3. Батыршин, А. Ф. Блишун и др; Под ред Д. А. Поспелова. М.: Наука, 1986. 312 с.
24.НоеихозП.С. Элеиенш матгчатической логики. М.: Наука, 1973.400 с.
25.Новиков Ф. А. Дискретная математика для программистов, СПб.: Пнтер. 2001.304с.
26.Иопадимитриу X., Сташлщ К. Комбинаторна! оптимиза ция. Алгоритмы к сложность /Пер. с англ. М.: Мир, 1985. 512 с.
27.Правлены Гильберта / Ппд общей редакцией П. С. Алек сандрова. М.: Наука, 1969.240 с.
332
28.Рейнгольд 3., Ниверге.тът 10., Део И. Комбинаторные ш-о- ритмы. Теория и практика/Пер. с англ. М :Мнр, 1980. 478 с.
29.Самсонов Б. Б.. Плохое Е. М. и Фиясшхов А. И. Компью терная математика (основание информатики). Ростев-ка-Дону: «Феникс», 2002.512 с.
30.Чень Ч., Ли Р. Математическаялогика и автоматическое до казательство теорем/Пер. с англ. М.: Наука, 1983.360 с.
31.Яблонский С. В. Введение в дискретную математику. М.; Высшая школа, 2001.384 с.
ГАЛИЕВ Шамиль Ибрагимович
МАТЕМАТИЧЕСКАЯ ЛОГИКА
И ТЕОРИЯ АЛГОРИТМОВ
Учебное пособие
ОтеегетвенныП завыпуск Н.И Даиич
Компьютерно всрстка - М. А. Андреева
Формат60>8i 1/16. Бумагаофееткая. Печатьелейна», тыл. 21,0. Усллсч.я. 19,53. Уел.щ.-отт. 19,5?. Уч.-тдл. 19,07.
________________ Ткраа55}. Заиаз Г146ДО4,__________
«0111 Кшан^К. Маркса, 10