Електронний каталог науково-технічної бібліотеки
Вінницького національного технічного університету
логіка, логика
Підтеми:
Документи:
- Вісник Житомирського державного технологічного університету [Текст] : Науковий журнал. Вип. 2 : Філософські науки / МОН України; ЖДТУ. – Житомир : Вид-во ЖДТУ, 2007. – 157 с.
- Вопросы кибернетики [Текст] : Вып. Логика рассуждений и ее моделирование / АН СССР. Науч. совет по комплексной проблеме "Кибернетика"; Под ред. Д.А. Поспелова. – М., 1983. – 180с.
- Вопросы кибернетики [Текст] : Вып. Кибернетика и математическая логика в историко-методологическом аспекте / Под ред. Б.В. Бирюкова, Д.А. Поспелова; Предисл. И.М. Макарова. – М., 1984. – 208с.
- Вопросы кибернетики. Сложность вычислений и прикладная математическая логика [Текст] / АН СССР, Науч. совет по комплекс. пробл. "Кибернетика"; Под ред. С.И.Адяна. – М., 1988. – 180с.
- Исследования по неклассическим логикам и теории множеств [Текст] / АН СССР. ВИНИТИ. – М. : Наука, 1979. – 376 с.
- Кибернетика и логика [Текст] = Математико-логические аспекты становления идей кибернетики и развития вычислительной техники / АН СССР. Научн.совет по компл.пробл. "Кибернетика", инст.истории естествозн. и техники. – М. : Наука, 1978. – 333 с.
- Концептуализация и смысл [Текст] : Сб. науч. тр / АН СССР; Сиб. отд-ние, Ин-т истории, филологии и философии; Отв. ред. И.В. Поляков. – Новосибирск : Наука. Сиб. отд-ние, 1990. – 238с. – ISBN 5-02-029123-4.
- Логика и компьютер [Текст] : Моделирование рассуждений и проверка правильности прогр / Н.А.Алешина, А.М.Анисов, П.И.Быстров и др.; Науч. ред. Е.Д.Смирнова; АН СССР. – М. : Наука, 1990. – 239с : ил. – (Сер. "Кибернетика - неогранич. возможности и возмож. ограничения"). – ISBN 5-02-007156-0.
- Логика и эмпирическое познание [Текст] / отв. ред. П. В. Таванец. – М. : Наука, 1972. – 288 с. – 1,31 р.
- Математическая логика [Текст] : Учеб. пособие / Латотин Л.А., Макаренков Ю.А., Николаева А.А., Столяр А.А.; Под общ.ред.А.А.Столяра. – Минск : Высш.шк., 1991. – 269с : ил.
- Методичні поради для викладачів по використанню тестів в навчальному курсі "Філософія та основи логіки" [Текст] / МО України. ВДТУ ; Укл. А. М. Яровий. – Вінниця, 1995. – 11 с.
- Программируемая логика [Текст] // Электронные компоненты и системы. – 2000. – № 9. – 12.
- Справочная книга по математической логике [Текст] : В 4-х частях. Ч.2 : Теория множеств / пер. Пер. с англ. под ред. Дж.Барвайса. – М. : Наука, 1982. – 376 с.
- Справочная книга по математической логике [Текст] : В 4-х частях. Ч.3 : Теория рекурсии / пер. Пер. с англ. под ред. Дж.Барвайса. – М. : Наука, 1982. – 360 с.
- Справочная книга по математической логике [Текст] : В 4-х частях. Ч.1 : Теория моделей / пер. Пер. с англ. под ред. Дж. Барвайса. – М. : Наука, 1982. – 392 с.
- Теория моделей и ее применения [Текст] / Отв. ред. Ю.Л.Ершов. – Новосибирск : Наука. Сиб. отд-ние, 1988. – 183с. – (Тр. Ин-та математики/ АН СССР, Сиб. отд-ние, ISSN 0208-0060; Т.8). – Библиогр. в конце ст. – ISBN 5-02-028576-5.
1
2
3
4
|
