Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=логическая семантика<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

16(075)
Ж79

Жоль, Костянтин Костянтинович.
Вступ до сучасної логіки [] : навч. посібник для студ. гуманіт. спец. вищ. навч. закл. / К. К. Жоль ; [ред. О. М. Належита]. - К. : Либідь, 2002. - 152 с. - Бібліогр.: с. 141-151. - ISBN 966-06-0241-3 : 8.70 грн

УДК

16(075)

ББК 87.4я73
Рубрики: Логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
сучасна логіка -- современная логика -- металогіка -- металогика -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатов -- логіка і кібернетика -- логика и кибернетика -- конструктивна логіка -- конструктивная логика -- логічна семантика -- логическая семантика -- дескрипція -- дескрипция -- закони логіки -- законы логики -- теорія кінцевих автоматів -- теория конечных автоматов -- математичний конструктивізм -- математический конструктивизм -- теорія множин -- теория множеств -- аксіоматика в логіці -- аксиоматика в логике -- логічні дослідження -- логические исследования -- формальна логіка -- формальная логика -- символічна логіка -- символическая логика -- індуктивні умовиводи -- индуктивные умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- модальна логіка -- модальная логика -- "штучний інтелект" -- "искусственный интеллект "
Анотація: Основні поняття й методи сучасної логіки, зв’язок логіки з гуманітарними, природничими та технічними науками, значення логіки для програмного забезпечення сучасних комп’ютерів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Належита, О. М. \ред.\
Примірників всього: 6
МИСТ (1), ЧЗ (4), ФОНД (1)
Свободны: МИСТ (1), ЧЗ (4), ФОНД (1)
Знайти схожі

16( 075)
Ж 79

Жоль, Константин Константинович.
Вступ до сучасної логіки [] : навч. посіб. / К. К. Жоль. - К. : Вища шк., 1992. - 128 с. - Реком. покажч.: с.127-128. - ISBN 5-11-003825-2 : 10 р.

УДК

16( 075)

ББК 87.4я73
Рубрики: Логіка

Кл.слова (ненормовані):
прийнятя рішень -- принимаемые решения -- технічні системи -- технические системи -- металогіка -- металогика -- аксіоматика -- аксиоматика -- логічні дослідження Д. Гільберта -- логические исследования Д. Гильберта -- логіка висловлень -- логика высказываний -- логіка предикатів -- логика предикатив -- логічні ідеї -- логические идеи -- системи -- системи -- конструктивістська логіка -- конструкторская логика -- модальна логіка -- модальная логика -- логічна семантика -- логическая семантика -- кібернетика -- кибернетика
Анотація: У посібнику викладено основні поняття і методи сучасної логіки , пояснюється звязок логіки з гуманітарними, природничими і технічними науками, розкривається значення логіки для програмного забезпечення сучасних компютерів.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

160(075)
И 97

Ішмуратов, Анатолій Теміргалійович.
Вступ до філософської логіки [] : підручник для студ. та асп. гуманіт. спец. вищ. навч. закл. / А. Т. Ішмуратов ; Міжнар. фонд "Відродження". - К. : Абрис, 1997. - 350 с. - (Програма "Трансформація Гуманітарної Освіти в Україні"). - Бібліогр.: с.333-344. - ISBN 966-531006-2 : 1.50 грн

УДК

160(075)

ББК 87.4я73
Рубрики: Філософська логіка--Навчальні видання для вищої школи

Кл.слова (ненормовані):
класична логіка -- класическая логика -- логічні схеми -- логические схеми -- логічна семантика -- логическая семантика -- логіка висловлювань -- логика висказываний -- логічні сполучники -- логические соединения -- логіка висловлювань -- логика высказываний -- інтерпретація -- интерпритация -- логічний закон -- логический закон -- логіка предикатів -- логика предикатов -- квантори -- кванторы -- логіка класів -- логика класов -- логіка відношень -- логика отношений -- девіантні логіки -- девиантные логики -- логіка Лукасевича -- логика Лукасевича -- логіка Бочвара -- логика Бочвара -- логіка Белнапа -- логика Белнапа -- модальна логіка -- модальная логика -- філософська оцінка -- философская оценка -- часова логіка -- часовая логика -- деонтична логіка -- деонтическая логика -- логіка санкцій Андерсона -- логика санкций Андерсона -- епістемічна логіка -- епистемическая логика -- праксеологіка -- праксеологика -- логіка діяльності -- логика деятельности -- міркування -- соображения -- діяльність -- деятельность -- логіка дії -- логика действия -- людські взаємодії -- человеческие взаимодействия -- практичні міркування -- практические мышления -- дедукція -- дедукция -- аналіз -- анализ -- силогістика Лукасевича -- силогистика Лукасевича -- пресупозиція -- пресупозиция -- часова тризначна логика -- временная трехзначная логика -- логіка Бочвара -- логика Бочвара -- теорія ігор -- теория игор -- аналіз дискурсу -- анализ дискурсу
Анотація: У підручнику докладно розглянуто такі напрями, як часова логіка , деонтична логіка, епістемічна логіка, логіка норм та оцінок, логіка дій, логіка взаємодій, логіка запитань та відповідей, логіка прийняття рішень, а також актуальні підходи, безпосерерньо повязані з логіко- філософським аналізом гуманітарного знання.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Міжнародний фонд "Відродження"
Примірників всього: 3
ЧЗ (2), ФОНД (1)
Свободны: ЧЗ (2), ФОНД (1)
Знайти схожі

165:164
Ф56

Философские основания научной теории [] / Акад. наук СССР, Ин-т истории, филологии и философии ; отв. ред.: В. В. Целищев, В. Н. Карпович. - Новосибирск : Наука, Сиб. отд-ние, 1985. - 288 с. - 1.90 р.

УДК

165:164

ББК 87.251
Рубрики: Філософія науки--Наукові видання
Кл.слова (ненормовані):
научная теория -- наукова теорія -- логическая семантика -- логічна семантика -- наукова мова -- научный язык -- теория смысла -- теорія сенсу -- теория истины -- теорія істини -- научные метафоры -- наукові метафори -- эмпиризм -- емпіризм -- знание -- знання
Анотація: Сборник посвящен анализу философско-логических и методологических проблем обоснования теоретического знания.

Утримувачі документа:
ЖОУНБ ім. О. Ольжича

Дод.точки доступу:
Целищев, В. В. \ред.\; Карпович, В. Н. \ред.\; Академия наук СССР; Институт истории, филологии и философии
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)