Основи математики. Математична логіка.
Підтеми:
Документи:
- Азбука математической логики [Текст] / Г.П. Мельников. — М. : Знание, 1967. — 104с. + Схемы.
- Азбука математичної логіки [Текст] / Марк Швець. — К. : Рад. шк., 1965. — 149 с.
- Алгоритмы и рекурсивные функции [Текст] / А.И. Мальцев. — М. : Наука, 1965. — 391 с.
- Алгоритмы и рекурсивные функции [Текст] / Анатолий Мальцев. — Изд. 2-е. — М. : Наука. Гл. ред. физ.-мат лит., 1986. — 367 с.
- Булева структура и ее модели [Текст] / И.М. Яглом. — М. : Сов. радио, 1980. — 193с.
- Введение в математическую логику [Текст] / Андрей Колмогоров, А.Г. Драгалин. — Москва : Изд-во МГУ, 1982. — 120 с.
- Введение в математическую логику [Текст] / под. ред. С. И. Адяна. — М. : Наука. Гл. ред. физ.-мат. лит., 1971. — 320 с.
- Введение в математическую логику [Текст] / под. ред. С. И. Адяна. — М. : Наука. Гл. ред. физ.-мат. лит., 1976. — 320 с.
- Від алгоритму до ЕОМ [Текст] : Для старш. шк. віку / Олександр Коханівський. — К. : Рад. шк., 1990. — 172 с.
- Вчись мислити логічно [Текст] / Володимир Середа. — К. : Рад. шк., 1989. — 175 с.
- Головоломки [Текст] / Л.П. Мочалов. — М. : Наука, 1980. — 128с.
- Дифференциальная геометрия и топология [Текст] / Пер.с англ.В.Л.Гутенмахера/Под ред.А.А.Кириллова. — М. : Мир, 1970. — 222с.
- Елементи теорії множин і математичної логіки [Текст] : посіб. для самоосвіти вчителів / Олександр Кужель. — К. : Рад. шк., 1977. — 160 с.
- Элементы математической логики [Текст] / Петр Новиков. — Изд. 2-е, испр. — М. : Наука. Гл. ред. физ.-мат. лит., 1973. — 399 с.
- Жива математика [Текст] : Математичні оповідання і головоломки / Пер. з рос. Т.І. Чумаченка. — 2-е вид. стереот. — К. : Техніка, 1969. — 152 с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И.А. Лавров, Л.Л. Максимова. — М. : Наука, 1975. — 240 с.
- Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / Игорь Лавров, Лариса Максимова. — Изд. 2-е. — Москва : Наука, 1984. — 240 с.
- Задачник - практикум по математике [Текст] : Пособие для студ.-заочн. ф-тов подгот. учителей нач. кл. пед.ин-тов / М-во просвещения РСФСР, МЗГПИ; Под ред. Н.Я. Виленкина. — М. : Просвещение, 1977. — 205 с.
- Задачник-практикум по математической логике [Текст] : учеб. пособие для студ.-заоч. физ.-мат. фак. пед. ин-тов / Владимир Игошин. — М. : Просвещение, 1986. — 159 с.
- Заметки по логике [Текст] / под ред. И. М. Яглома. — М. : Мир, 1968. — 128 с.
- Збірник вправ з курсу "Алгоритми і математичні машини" [Текст] : посібник для фіз.-мат. фак. пед. ін-тів / О.Т. Чуб, В.І. Коба. — К. : Вища шк., 1970. — 215 с.
- Збірник вправ і задач з математичної логіки [Текст] : навч. посіб. для фіз.-мат. ф-тів пед. ін-тів / Яків Хромой. — Київ : Вища шк., 1978. — 159 с.
- Збірник математичних задач логічного характеру [Текст] / Л.М. Лоповок. — К. : Радянська школа, 1972. — 151с.
- Логическая игра [Текст] / Льюис Кэрррол. — М. : Наука. Гл. ред. физ.-мат. лит., 1991. — 192 с.
- Математика для економістів [Текст] : посібник / М.К. Бугір. — К. : Академія, 2003. — 519 с.
- Математическая логика и её применения [Текст] : сб. ст. / под ред. Э. Нагела, П. Саппса, А. Тарского. — М. : Мир, 1965. — 341 с.
- Математическая логика и материалистическая диалектика [Текст] : проблемы логико-филос. оснований и обоснований теорий / Юрий Петров. — Москва : МГУ, 1974. — 191 с.
- Математическая логика [Текст] / И.Л. Никольская. — М. : Высшая школа, 1981. — 127с.
- Математическая логика [Текст] / под ред. и с предисл. С. А. Яновской. — М. : Инлитиздат, 1961. — 162 с.
- Математическая логика [Текст] : [учеб. для техн. по спец. "Прикладная математика"] / Инна Никольская. — М. : Высш. шк., 1981. — 127 с.
- Математическая логика [Текст] : Учеб. пособие для вузов / Ю.Л. Ершов, Е.А. Палютин. — 2-е изд., испр. и доп. — М. : Наука, 1987. — 336с.
- Математическая логика [Текст] : учеб. пособие для студ. пед. ин-тов / Самсон Эдельман. — Москва : Высш. шк., 1975. — 176 с.
- Математична логіка в позанавчальній роботі у педагогічному інституті [Текст] : метод. реком. / м-во освіти УРСР Респ. навч.-метод. кабінет вищ. і серед. пед. освіти; сост. В. Ю. Середа. — К. : РНМК ВСПО, 1982. — 64 с.
- Математична логіка і теорія алгоритмів [Текст] : навч. посібник для студ. вищих пед. навч. заклад. / Сергій Прийма. — Мелітополь : Вид. будинок ММД, 2008. — 134 с.
- Математична логіка [Текст] : навч.посіб. для студ. фіз.-мат. ф-тів пед. ін-тів / Яків Хромой. — К. : Вища шк., 1983. — 208 с.
- Математична логіка [Текст] / Яків Хромой. — К. : Вышэйшая шк., 1971. — 224 с.
- Некоторые способы решения логических задач [Текст] : Библиотечка физико-математической школы / В.Е. Шевченко. — К. : Вища школа, 1979. — 80с.
- Основания математики [Текст] : [монография] / под общ. ред. В. Л. Макарова. — К. : Вища шк. Голов. изд-во, 1981. — 350 с.
- Основи моделювання технічних систем [Текст] : Навч.посібник / МОН України,Націон.ун-т "Львівська політехніка". — Львів : Вид-во "Бескид Біт", 2003. — 176с.
- Основы теоретической логики [Текст] / ред. вступ. ст. и коммент. проф. С. А. Яновской. — М. : Госиздат. Ин. лит-ры, 1947. — 305 с.
- Первое знакомство с математической логикой [Текст] / о-во Знание РСФСР, Ленингр. отд-ние. — Л. : [б. в.], 1963. — 56 с.
- Поетапне математичне моделювання та оптимізація вмісту інгредієнтів у раціонах одноразового споживання [Текст] / Ж.А. Крутовий, Г.В. Запаренко, Н.В. Манжос, Л.О. Касілова // Прогресивні техніка та технології харчових виробництв ресторанного господарства і торгівлі. : зб. наук. праць / О.І. Черевко (відпов.ред.). — Харків : ХДУХТ, 2012. — 434-440.
- Практикум з математичної логіки [Текст] : навч. посіб. для студ. / ХНПУ ім. Г. С. Сковороди. — 2-е изд., испр. и доп. — Х. : ХНПУ, 2007. — 16 с.
- Представлення функцій змінних суперпозиціями функцій двох змінних [Текст] / М.С. Синєкоп, М.М. Вермійчук // Прогресивна техніка та технології харчових виробництв, ресторанного та готельного господарств і торгівлі. Економічна стратегія і перспективи розвитку сфери торгівлі та послуг. У 2-х ч. : матеріали Міжнародної науково-практ. конфер., присв. 45-річчю ХДУХТ 18. жовтня 2012 р. : тези допов. / за заг. ред. О.І.Черевка / Харківський держ. унів.-тет харчування та торгівлі. — Харків : ХДУХТ, 2012. — С.429-430.
- Прикладная математика [Текст] : предмет, логика, особенности подходов / АН УССР, Физ.-тех. ин-т назких температур. — Киев : Наукова думка, 1976. — 269 с.
- Сборник упражнений по АЛГОЛ-60 [Текст] : для вузов по спец. "Прикладная математика" / Александр Балуев, Валентина Даугавет, Надежда Шидловская. — Москва : Наука, 1976. — 128 с.
- Справочная книга по математической логике [Текст] : В 4 ч.;Пер. с англ.Г.В.Давыдова, Г.Е.Минца / Под ред.Дж.Барвайса, Ю.Л.Ершова, Е.А.Палютина, А.Д.Тайманова. — М. : Наука, 1983. — 392.
- Справочная книга по математической логике [Текст] : В 4 ч.;Пер. с англ.С.С.Гончарова, В.Д.Дзгоева, К.Ф.Самохвалова, Д.И.Свириденко / Под ред.Дж.Барвайса, Ю.Л.Ершова, Е.А.Палютина, А.Д.Тайманова. — М. : Наука, 1982. — 392.
- Справочная книга по математической логике [Текст] : Пер. с англ. В.Г.Кановея / Под ред. В.Н.Гришина. — М. : Наука, 1982. — 392.
- Справочная книга по математической логике [Текст] : Пер. с англ. С.Г.Дворникова, И.А.Лаврова / Под ред. Ю.Л.Ершова. — М. : Наука, 1982. — 360.
1
2
|
