Математична логіка
Підтеми:
Документи:
- Интеллектуализация математической логики [Текст] / Московский государственный университет им.М.В.Ломоносова // Искусственный интеллект. — 2006. — №2. — С. 18-20.
- Интеллектуальная обработка математических текстов в системе автоматизации дедукции. [Текст] / Киевский национальный университет им.Т.Г.Шевченка, Украина // Искусственный интеллект. — 2004. — С. 122-128.
- Информационная технология анализа психологической информации из социальных сетей средствами индуктивного моделирования [Текст] / м.Н. Дубовенко, В.М. Белов, А.С. Булгакова та ін. // Управляющие системы и машины : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — С. 79-82, 92.
- Использование аппарата нечеткой логики при проектировании объекта "технологический процесс" [Текст] / М.В. Лапа // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. / МОН Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Харьков : Изд-во ХАИ ; Торнадо, 2002. — С. 49-53.
- Использование энергии микро - и наночастиц в энергоустановках летательных аппаратов [Текст] / Национальный аэрокосмический университет им. Н. Е. Жуковского "ХАИ", г.Харьков, Украина // Открытые информационные и компьютерные интегрированные технологии : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — С. 162-169.
- Исследования по теории доказательств [Текст] : Сб. статей; Пер. с англ. / Под ред. С.Ю. Маслова. — М. : Мир, 1981. — 289с.
- Компьютер играет в игры [Текст] : Ч.1. Как побеждают чемпионов мира / Е. Ивашко // Мир ПК. — М. : Открытые системы, 2007. — С. 52-54.
- Конечные автоматы [Текст] : (Поведение и синтез) / Б.А. Трахтенброт, Я.М. Бардзинь. — М. : Наука, 1970. — 400 с.
- Конструктивная математическая логика с точки зрения классической [Текст] / П.С. Новиков. — М. : Мысль, 1977. — 329с.
- Концепция комплексного ресурса для исследования безопасности систем человек - объект - среда [Текст] / В.В. Клюев, А.Ф. Резчиков, А.С. Богомолов, Л.Ю. Филимонюк // Контроль.Диагностика : журнал Российского общества по неразрушающему контролю и технической диагностике (РОНКТД). — М. : Машиностроение, 2013. — С. 44-55.
- Ламбда-исчисление : Его синтаксис и семантика [Текст] : Пер. с англ. / Под ред. А.С. Кузичева. — М. : Мир, 1985 . — 606с.
- Лекции о вычислимых функциях [Текст] / В.А. Успенский. — М. : Физматгиз, 1960. — 492с.
- Логика. Автоматы. Алгоритмы [Текст] / М.А. Айзерман, Л.А. Гусев, Л.И. Розоноэр, др. и. — М. : Физматгиз, 1963. — 556 с.
- Логика, алгебра и базы данных [Текст] : пер. с англ. / под ред. Г. В. Орловского, А. О. Слисенко. — М. : Машиностроение, 1989. — 359с.
- Логика вопросов и ответов [Текст] : Пер. с англ. / Общ. ред. В.А. Смирнова, В.К. Финна. — М. : Прогресс, 1981. — 288с.
- Логика и интеллект [Текст] / Московский государственный университет им. М.В.Ломоносова, Россия // Искусственный интеллект. — 2004. — С. 28-31.
- Логика и компьютер: Моделирование рассуждений и проверка правильности программ [Текст] / науч. ред. Е.Д. Смирнова; АН СССР. — М. : Наука, 1990. — 238 с.
- Логика математического мышления [Текст] / О.Ф. Теребилов. — Л. : ЛГУ, 1987. — 191с.
- Логика,мышление,информация [Текст] : Монография / М-во высш.и средн.спец.образования РСФСР,Калининградск.Гос.Университет. — Л. : Изд-во Ленингр.ун-та, 1988. — 152с.
- Логическая игра [Текст] / Льюис Кэрррол. — М. : Наука. Гл. ред. физ.-мат. лит., 1991. — 192 с.
- Логические задачи [Текст] : Учеб. для вузов / В.Н. Мельников. — Киев; Одесса : Вища шк., 1989. — 343с.
- Логический анализатор АКТАКОМ АКС-3166 [Текст] / А.А. Афонский, Е.В. Суханов // Контрольно-измерительные приборы и системы. — М. : ООО "Эликс+", 2004. — С. 20-22.
- Логический подход к искусственному интеллекту: От классической логики к логическому программированию [Текст] : пер. с фр. / под ред. Г. П. Гаврилова. — М. : Мир, 1990. — 429 с.
- Логічний наслідок та його формалізації в композиційно-номінативних логіках [Текст] / С.С. Шкільняк // Искусственный интеллект. — 2012. — С. 307-319.
- Магнитные и электрические аспекты происхождения помех "ангел-эхо" и их виртуальных изображений [Текст] / В.В. Жирнов, С.В. Солонская, И.И. Зима // Радиотехника. — Х., 2016. — С. 86-93.
- Математика и правдоподобные рассуждения [Текст]. Индукция и аналогия в математике / Д. Пойа. — М. : Изд-во иностр. лит., 1957. — 536 с.
- Математика математики [Текст] / Е. Расёва, Р. Сигорский. — М. : Наука, 1972 . — 591 с.
- Математическая логика в программировании [Текст] : сб. ст. — М. : Мир, 1991. — 408 с.
- Математическая логика в программировании [Текст] : cб. ст. : пер. с англ. / под ред. М. В. Захарьящева, Ю. И. Янова. — Москва : Мир, 1991. — 408 с.
- Математическая логика. Дополнительные главы [Текст] : учеб. пособие / А.Н. Колмогоров, А.Г. Драгалин. — М. : Изд-во МГУ, 1984. — 120 с.
- Математическая логика и автоматическое доказательство теорем [Текст] / пер. с англ. Г.В. Давыдова, Г.Е. Минца, А.В. Сочилиной; под ред. С.Ю. Маслова. — М. : Наука, 1983. — 358 с.
- Математическая логика и автоматическое доказательство теорем [Текст] : Пер. с англ. / Под ред. Ю.С. Маслова. — М. : Мысль, 1983. — 358с.
- Математическая логика и дискретная математика [Текст] : Учеб. пособие для вузов / В.Г. Карпов, Н.А. Мощенский. — Минск : Вышэйша школа, 1977. — 254с.
- Математическая логика и ее применения [Текст] : Сб. статей; Пер. с англ. / Под ред. Э. Нагела и др. — М. : Мир, 1965. — 341с.
- Математическая логика и теория алгоритмов [Текст] : труды ин-та математики / АН СССР, Сиб. отд-ние, Ин-т математики ; отв. ред. С. Л. Соболев. — Новосибирск : Наука, 1982. — 176с.
- Математическая логика и теория алгоритмов [Текст] : учебник / МОН РФ, Новосибирский гос. техн. ун-т. — М.; Новосибирск : ИНФРА-М ; Изд-во НГТУ, 2004. — 224 с.
- Математическая логика и теория алгоритмов [Текст] : учеб. пособие / В.И. Игошин. — 4-е изд., стер. — М. : Академия, 2010. — 448 с.
- Математическая логика и теория алгоритмов [Текст] : учеб. пособие / М-во образования и науки Украины, Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т". — Х. : Нац. аэрокосм. ун-т им. Н. Е. Жуковского "Харьк. авиац. ин-т", 2001. — 142 с.
- Математическая логика [Текст] / Дж. Шенфилд. — М. : Наука, 1975. — 528 с.
- Математическая логика [Текст] : дополнительные главы : учеб. пособ. для студ. вузов / А.Н. Колмогоров, А.Г. Драгалин. — М. : Изд-во Москов. ун-та, 1984. — 120 с.
- Математическая логика [Текст] / МГУ. Фак. выч. математики и кибернетики. Каф. математич. кибернетики. — М. : Изд-во МГУ, 1976. — 74 с.
- Математическая логика [Текст] : Пер. с англ. / Под ред. Г.Е. Минца. — М. : Мир, 1973. — 480с.
- Математическая логика [Текст] : Пер. с англ. / Под ред. С.А. Яновской. — М. : Иниздат, 1961. — 162с.
- Математическая логика [Текст] : Пер. с англ. / Под ред. Ю.Л. Ершова. — М. : Мысль, 1975. — 527с.
- Математическая логика [Текст] / С.К. Клини. — М. : Мир, 1973. — 480 с.
- Математическая логика [Текст] : Учебник для техникумов / И.Л. Никольская. — М. : Высшая школа, 1981. — 127с.
- Математическая логика [Текст] : Учеб. пособие для вузов / С.Д. Эдельман. — М. : Высшая школа, 1975. — 176с.
- Математическая логика [Текст] : Учеб. пособие для вузов / Ю.Л. Ершов, Е.А. Палютин. — 2-е изд., испр. и доп. — М. : Наука, 1987. — 336с.
- Математическая логика [Текст] : Учеб. пособие для вузов / Ю.Л. Ершов, Е.А. Палютин. — М. : Наука, 1979. — 320с.
- Математическая логика [Текст] : учеб. пособие для студентов мат. спец. вузов / Ю.Л. Ершов, Е.А. Палютин. — М. : Наука, 1979. — 320 с.
1
2
3
4
|
