Електронний каталог

• Класифікатори
• 22.1 Математика

22.12 Основи математики. Математична логіка

Підтеми:

• 22.121 Основи математики
• 22.122 Математична логіка
• 22.123 Теорія моделей
• 22.124 Алгебраїчна логіка
• 22.126 Теорія множин
• 22.127 Теорія алгоритмів і обчислювальних (рекцесивних) функцій. Конструктивний аналіз

Документи:

• Функція в мові, логіці та математиці [Текст] : тези доповідей та повідомлень обласної конференції : до 100-річчя К. Айдукевича. Т.1 / редкол. : А. М. Ломакович, С. В. Ткачов, О. Я. Сорока. – Тернопіль : ТДПУ, 1990. – 114с. – б/ц.
• Функція в мові, логіці та математиці (До 100-річчя К. Айдукевича) [Текст] : Тези доповідей та повідомлень обласної конференції. Т.2 / Редкол.: А.М.Ломакович, С.В. Ткачов, О.Я. Сорока. – Тернопіль : ТДПУ, 1990. – 114с. – б/ц.
• Kaczorowski, S. Logika matematyczna [Текст]. Cz. 1 : Algebra logiki : zarys dziejow / S. Kaczorowski. – Lwow : Nakladem "Lwowskiej Biblioteczki Pedagogicznej", 1938. – 26 s. – (Licealna Biblioteczka Filozoficzna). – Z portretem i zyciorysem Autora ;.
• Блох, А. Ш. Граф-схемы и алгоритмы [Текст] : учебное пособие для студ. физ.-мат. фак. пед. ин-тов / А. Ш. Блох. – Минск : Вышэйшая школа, 1987. – 144 с. – 0,40.
• Гафт, М. Г. Принятие решений при многих критериях [Текст] / М. Г. Гафт. – М. : Знание, 1979. – 64 с. – (Новое в жизни, науке, технике. Серия "Математика, кибернетика"). – 0,11.
• Гильберт, Д. Основания математики. Теория доказательств [Текст] / Д. Гильберт, П. Бернайс ; пер. с нем. Н. М. Нагорного ; под ред. С. И. Адяна. – М. : Наука, 1982. – 652 с. – (Математическая логика и основания математики). – 20,00.
• Градштейн, И. С. Прямая и обратная теоремы [Текст] : элементы алгебры логики / И. С. Градштейн. – Изд. 3-е, доп. – Москва : Наука, 1959. – 128 с. – 0,22.
• Драгалин, А. Г. Математический интуиционизм. Введение в теорию доказательств [Текст] : [монография] / А. Г. Драгалин. – М. : Наука, 1979. – 256 с. – (Математическая логика и основания математики). – 12.00.
• Ершов, Ю. Л. Математическая логика [Текст] : учебное пособие для студ. мат. спец. высших учеб. заведений / Ю. Л. Ершов, Е. А. Палютин. – М. : Наука, 1979. – 320 с. – 0,80.
• Ершов, Ю. Л. Математическая логика [Текст] / Ю. Л. Ершов, Е. А. Палютин. – 2-е изд. испр. и доп. – М. : Наука, 1987. – 336с. – 1,10.
• Калашников, В. В. Организация моделирования сложных систем [Текст] / В. В. Калашников. – М. : Знание, 1982. – 64 с. – (Серия "Математика и кибернетика"). – 0,11.
• Касаткин, В. Н. Новое о системах счисления [Текст] / В. Н. Касаткин. – К. : Вища шк., 1982. – 96 с. – (Библиотечка физико-математической школы. Математика). – 0,25.
• Клини, С. Основания интуиционистской математики с точки зрения теории рекурсивных функций [Текст] / С. Клини, Р. Весли ; пер. с англ. Ф. А. Кабанова, Б. А. Кушнера. – М. : Наука, 1978. – 272 с. – (Математическая логика и основания математики). – 15.00.
• Колмогоров, А. Н. Алгоритм, информация, сложность [Текст]. № 1 / А. Н. Колмогоров. – М. : Знание, 1991. – 48с. – (Математика, кибернетика. Новое в жизни, науке, технике). – ISBN 5-07-001613-Х : 0,55.
• Коханівський, О. П. Від алгоритму до ЕОМ [Текст] : для старшого шкільного віку / О. П. Коханівський. – К. : Рад. школа, 1990. – 172 с. – ISBN 5-330-01301-1 : 0,35.
• Криницкий, Н. А. Алгоритмы вокруг нас [Текст] / Н. А. Криницкий ; отв. ред. Г. Д. Фролов. – М. : Наука, 1977. – 224 с. – (Серия "Проблемы науки технического прогресса"). – 0,80.
• Кузнецов, В. Е. Представление в ЭВМ неформальных процедур [Текст] / В. Е. Кузнецов. – М. : Наука, 1989. – 160с. – (Проблемы искусственного интеллекта). – 0,65.
• Кэрролл, Л. Логическая игра [Текст] / Л. Кэрролл ; пер. с англ. – М. : Наука, 1991. – 192 с. – (Библиотечка "Квант"). – ISBN 5-02-014220-4.
• Математическая логика [Текст] : учебное пособие для студ. мат. спец. пед. ин-тов / Л. А. Латонин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр ; под общей редакцией проф. А. А. Столяра. – Минск : Вышэйшая школа, 1991. – 269 с. – ISBN 5-339-00342-6 : 2,30.
• Макаренков, Ю. А. Что такое алгоритм ? [Текст] : беседы со старшеклассником / Ю. А. Макаренков, А. А. Столяр. – Минск : Народная асвета, 1989. – 127 с. – ISBN 5-341-00162--1 : 0,30.
• Плоткин, Б. И. Универсальная алгебра, алгебраическая логика и базы данных [Текст] / Б. И. Плоткин. – М. : Наука, 1991. – 448с. – ISBN 5-02-014635-8.
• Тадеєв, В. О. Системи числення (нумерації) [Текст] : [навч. посіб. для учнів] / В. О. Тадеєв ; В.О.Тадеєв. – Тернопіль, 1994. – 34 с. – 50000,00.
• Такеути, Г. Теория доказательств [Текст] = Proof Theory / Г. Такеути ; пер. с англ. С. К. Соболева ; под ред. С. И. Адяна. – М. : Мир, 1978. – 413 с. – 17.00.
• Успенский, В. А. Машина Поста [Текст] / В. А. Успенский. – 2-е изд., перераб. – М. : Наука, 1988. – 96 с. – (Популярные лекции по математике). – ISBN 5-02-013735-9.
• Успенский, В. А. Машина Поста [Текст] / В. А. Успенский. – М. : Наука, 1979. – 96 с. – (Популярные лекции по математике). – 0.15.
• Цейтлін, Г. О. Алгебра логіки та конструювання програм. Елементи дискретної математики. [Текст] / Г. О. Цейтлін. – К. : Наукова думка, 1994. – 83с. – ISBN 5-12-003444-6 : 90000,00.
• Черемных, Ю. Н. Математическое моделирование народно-хозяйственной динамики [Текст] / Ю. Н. Черемных. – М. : Знание, 1987. – 48с. – (Новое в жизни, науке, технике. Сер. "Математика, кибернетика"). – 0,11.
• Шенфилд, Дж. Математическая логика [Текст] / Дж. Шенфилд ; пер. с англ.: И. А. Лаврова, И. А. Мальцева ; под ред. Ю. Л. Ершова. – М. : Наука, 1975. – 527 с. – (Математическая логика и основания математики). – 2,16.