Основи математики та математична логіка
Підтеми:
Документи:
- Динамика логических устройств и систем. [Текст] / В.И. Левин. — М., 1980. — 224с.
- Дискретна математика [Текст] : Навч. посібник для студ. мех.-мат. ф-ту / КУ. — Київ : Київський університет, 1997. — 81 с.
- Дискретна математика [Текст] : Підручник для студентів вищих технічних навчальних закладів / За редакцією В.Є. Ходакова. — Київ : Вища школа, 2002. — 287с.
- Дискретная математика. Алгоритмы и программы [Текст] / Б.Н. Иванов. — Москва : Лаборатория Базовых Знаний, 2002. — 288с.
- Дискретная математика [Текст] : Учебное пособие / В.И. Донской. — Симферополь : Сонат, 2000. — 360с.
- Доказательства и опровержения. Как доказываются теоремы [Текст] / перевод с англ.: Веселовского И. Н.; отв. ред.: Погребысский И. Н. — Москва : Наука, 1967. — 150 с.
- Досконалі та лінійно еквівалентні елементи модулярніх решіток [Текст] : Автореф... канд. фіз. мат.наук: 01.01.06 / Цильке А. А.; КУ. — К., 1993. — 13л.
- Дослідження небезпечних видів несталої поведінки об'єктів управління з асимптотою насичення [Текст] / В.Л. Шевченко // Проблеми інформатизації та управлінняВип. 2 (17). Вип. 2 (17) ; Національний авіаційний університет, Інститут комп'ютерних технологій - Київ , 2006. — С. 131-136.
- Дробно-рациональные алгоритмы и некоторые их приложения [Текст] : Дис... канд.физ.-мат.наук: 01.01.07 / Марко Владимир Федорович; ЛПИ им.Ленинского комсомола. — Львов, 1981. — 158л.
- Эвристические принципы и логические исчисления. [Текст] / О.Ф. Серебрянников. — М, 1970. — 284с.
- Эквивалентные преобразования в алгебрах структур данных [Текст] : Дис... канд. физ.-мат.наук: 01.01.09 / Горшков Павел Владимирович; МВ и ССО УСР. КГУ им. Т.Г.Шевченко. — л.
- Экстраполяционный метод решения выпуклых задач управления дискретными процессами [Текст] : Автореф... канд. физ.-мат.наук: 05.13.02 / Хоботов Евгений Николаевич; АН СССР. ВНИИ систем. исслед. — М., 1978. — 17л.
- Элементарное введение в математическую логику [Текст] / А.А. Столяр. — Москва : Просвещение, 1965. — 163 с.
- Элементарное введение в теорию множеств и алгебру логики. [Текст] / А.И. Щеглов. — Иваново, 1978. — 59с.
- Элементарные программные алгебры [Текст] : Дис... канд. физ.-мат.наук: 01.01.09 / Зубенко Виталий Владимирович; МВ и ССО УССР. КГУ. — Киев, 1981. — 138л.
- Элементы математической логики и теории множеств [Текст] / Ю.Е. Пензов. — Саратов, 1968. — 144с.
- Элементы математической логики и теория множеств [Текст] / Е. Слупецкий, Л. Борковский. — Москва : Прогресс, 1965. — 368 с.
- Элементы математической логики и теория множеств [Текст] / Ю.Е. Пензов. — Саратов : Издательство Саратовского университета, 1968.
- Элементы математической логики [Текст] / А.А. Марков. — Москва : Издательство Московского университета, 1984. — 79 с.
- Элементы математической логики [Текст] / П.С. Новиков. — 2-е изд. испр. — Москва, 1973. — 399с.
- Элементы математической логики [Текст] / П.С. Новиков. — М., 1959. — 400с.
- Элементы теории алгоритмов. [Текст] / Ф.Л. Варпаховский. — Москва, 1970. — 24с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И.А. Лавров, Л.Л. Максимова. — 4-е изд. — Москва : Физматлит, 2001. — 256с.
- Заметки по логике [Текст] / Р.К. Линдон. — Москва : Мир, 1968. — 128с.
- Збірник вправ і задач з математичної логіки [Текст] / Я.В. Хромой. — Київ : Вища школа, 1978. — 134 с.
- Збірник задач з дискретної математики [Текст] : розділ "Множини і відношення" для студ. фак-ту кібернетики / КУ. — Київ : Київський університет, 1997. — 69с.
- Избранные вопросы алгебры и логики [Текст] = Selected Questions of Algebra and Logic : сборник, посвященный памяти А.И. Мальцева / АН СССР, Сибирское отделение, Институт математики. — Новосибирск, 1973. — 340 с.
- Избранные труды [Текст]. Классическая алгебра : в 2-х томах / редколл.: Лаврентьев М. А. (отв. ред.); АН СССР, Отделение математики. — Москва : Наука, 1976. — 485 с.
- Избранные труды [Текст]. Математическая логика и общая теория алгебраических систем : в 2-х томах / редколл.: Лаврентьев М. А. (отв. ред.); АН СССР. Отделение математики. — Москва : Наука, 1976. — 388 с.
- Индексные множества и степени [Текст] : Автореф... канд. физ.-мат.наук: 007 / Каллибеков С.; АН СССР. Сиб. отд-ние. Учен. совет Ин-та математики по присуждению учен. степеней. — Новосибирск, 1972. — 11л.
- Интегральные модели систем с управляемой памятью [Текст] : монография / АН УССР, Институт кибернетики. — Киев : Наукова думка, 1991. — 220 с. : ил. 4.
- Интуиционизм. Введение. [Текст] = Intutionism An introduction / под ред. и с коммен.: Маркова А. А. — Москва : Мир, 1965. — 200 с.
- Интуционистские и классические теории конечного порядка. [Текст] : Автореф... Канд.физ-мат.наук: 01.01.06 / Степанов В.И.; Новосиб.гос.ун-т. — Новосибирск, 1981. — 10л.
- Информатика.Творчество.Рекурсия [Текст] / А.В. Анисимов. — Киев : Наукова думка, 1988. — 224с.
- Информация, неопределенность, сложность [Текст] / Трауб Дж.Ф. — Москва : Мир, 1988. — 183 с.
- Исследование асимптотического поведения количественных характеристик логических формул [Текст] : Автореф... канд. физ.-мат.наук: 009 / Лиогонький М.И.; Горьковский гос. ун-т. — Горький, 1970. — 12л.
- Исследование возможностей оптимальной организации некоторых биофизических процессов. [Текст] : Автореф... канд. физ.-мат.наук: / Викторов В.К.; Всес. акад. сельскохоз. наук. — Л., 1967. — 16л.
- Исследование плавкости многокомплексных систем галогенгидов щелочных металлов [Текст] : Автореф... канд. хим.наук: 02.00.01 / Бугаенко В. В.; АН УССР, Ин-т общей и неорг. хим. — К., 1976. — 24л.
- Исследование по теории сложности вычислений и формальным языкам [Текст] / А.С. Барашко. — К, 1978. — 172с.
- Исследование систем правил вывода в языках ступенчатой семантической системы конструктивной математической логики. [Текст] : Автореф... Канд.физ-мат.наук: 01.007 / Вагрис Ф.Г.; МГУ. — М, 1972. — 8л.
- Исследования по математической лингвистике, математической логике и информационным языкам [Текст]. — Москва : Наука, 1972. — 297с.
- Исследования по неклассическим логикам и формальным системам [Текст] : сборник / Государственный комитет СМ СССР по науке и технике, АН СССР, Всесоюзный институт научной и технической информации; отв. ред.: Михайлов А. И. — Москва : Наука, 1983. — 360 с. : ил.
- Исследования по теории алгорифмов и математической логике [Текст] / АН СССР, Вычислительный центр; отв. ред.: Марков А. А. и Хомич В. И. — Москва : Наука, 1979. — 136 с.
- Исследования по теории доказательств [Текст] : сборник статей / пер.еводс англ.: Гастева Ю. А. и Минца Г. Е.; под ред.: Маслова С. ю. — Москва : Мир, 1981. — 289 с.
- Исследования по теории множеств и неклассическим логикам [Текст]. — Москва : Наука, 1976. — 328 с.
- Исследования по формализованным языкам и неклассическим логикам [Текст] / Академия наук СССР ; Гос. комитет Совета Министров СССР по науке и технике ; Всесоюзный ин-т науч. и технич. информации ; [отв. ред. Д.А. Бочвар]. — Москва : Наука, 1974. — 275 с.
- История с узелками [Текст] / Л. Кэррол. — М., 1973. — 408с.
- Итерационные методы в задачах анализа и оптимизации одного класса динамических систем [Текст] : Дис... канд. физ.-мат.наук: 01.01.07 / Чернышенко Сергей Викторович; МПС СССР, ДИИЖТ им. М.И.Калинина. — Днепропетровск, 1985. — 155л.
- Ізоморфні занурення і метрика Громова-Хаусдорфа для скінченних метричних просторів [Текст] : Дис. ... канд. фізико-математ. наук: 01.01.08 / КУ ім.Т.Шевченка. — Київ, 2002. — 124 л.
- Как же называется эта книга? [Текст] / Р.М. Смаллиан. — М., 1981. — 239с.
1
2
3
4
5
6
7
8
|
