Интерне́т — коммуникационная сеть и всемирная система объединённых компьютерных сетей для хранения и передачи информации.
Нау́чная фанта́стика, или сокращённо НФ , — жанр в литературе, кино и других видах искусства, одна из разновидностей фантастики. Научная фантастика основывается на фантастических допущениях в области науки, включая как точные, так и естественные и гуманитарные. Научная фантастика описывает вымышленные технологии и научные открытия, контакты с нечеловеческим разумом, возможное будущее или альтернативный ход истории, а также влияние этих допущений на человеческое общество и личность. Действие научной фантастики часто происходит в будущем, что роднит этот жанр с футурологией.
Дизъю́нкция, логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу».
Джон Вуд Кэ́мпбелл-младший — американский писатель и редактор, во многом способствовавший становлению «Золотого века научной фантастики».
Amazing Stories считается первым в мире массовым журналом, целиком посвящённым научной фантастике, однако это не самый первый научно-фантастический журнал — подобные ему ранее издавались в Швеции — «Stella» (1886—1888) и «Hugin» (1916—1920).
Ха́рлан Э́ллисон — американский писатель-фантаст и сценарист. Пользовался славой наиболее продуктивного автора короткой прозы и наиболее титулованного за своё обширное литературное творчество. Им написано более двух тысяч рассказов, эссе, очерков и статей.
«Astounding Science Fiction» — один из наиболее влиятельных американских журналов фантастики за всю историю фантастики как самостоятельного направления коммерческой литературы.
Мода́льная ло́гика — логика, в которой кроме стандартных логических связок, переменных и предикатов есть модальности.
Исто́рия информацио́нных техноло́гий берёт своё начало задолго до возникновения современной дисциплины информатика, появившейся в XX веке. Информационные технологии (ИТ) связаны с изучением методов и средств сбора, обработки и передачи данных с целью получения информации нового качества о состоянии объекта, процесса или явления.
Представление знаний — вопрос, возникающий в когнитологии и информатике, а также в исследовании вопросов, связанных с искусственным интеллектом. В когнитологии он связан с тем, как люди хранят и обрабатывают информацию. В информатике — с подбором представления конкретных и обобщённых знаний, сведений и фактов для накопления и обработки информации в ЭВМ. Главная задача в искусственном интеллекте (ИИ) — научиться хранить знания таким образом, чтобы программы могли осмысленно обрабатывать их и достигнуть тем подобия человеческого интеллекта.
Мюррей Лейнстер — американский писатель-фантаст. Настоящее имя — Уильям Фицджеральд Дженкинс.
Дескрипцио́нная логика — язык представления знаний, позволяющий описывать понятия предметной области в недвусмысленном, формализованном виде, организованный по типу языков математической логики. Дескрипционные логики сочетают, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике, обеспечивая компромисс между выразительностью и разрешимостью. Могут быть рассмотрены как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
«По пятам» — научно-фантастический рассказ Роберта Хайнлайна, посвящённый парадоксам перемещений во времени. Рассказ, написанный в 1941 году, стал классикой научной фантастики и был одним из первых произведений, в которых рассматривалась проблема «временных петель», внёс большой вклад в развитие идеи машины времени.
Нау́чное фэ́нтези — гибридный жанр или поджанр фантастики, основанный на соединении свойств и элементов научной фантастики и фэнтези. От научной фантастики заимствуется антураж, контекст, логическое обоснование, темы и сюжеты, а от фэнтези — дух, приёмы и атмосфера. Подобно научной фантастике, для конструирования вымышленных миров в научном фэнтези используются фантастические допущения на основе науки, созданный мир напоминает миры научной фантастики; подобно фэнтези, для жанра характерны мистика, магия и волшебство, обращение авторов к мифам и фольклору.
Famous Fantastic Mysteries — американский журнал научной фантастики и фэнтези, издававшийся с 1939 по 1953 год. Главным редактором была Мэри Гнедингер. Munsey Company создала данный журнал для повторной публикации научно-фантастических рассказов и фэнтези, которые печатались в течение предыдущих десятилетий в других журналах Фрэнка Манси, таких как «Argosy». Первый номер вышел в сентябре/октябре 1939 года. Журнал сразу же стал популярным и успешным, поэтому менее чем через год Манси создал ещё один похожий журнал «Fantastic Novels».
В логике обычно используется много символов для выражения логических сущностей. Поскольку логики знакомы с этими символами, они не объясняют их каждый раз при использовании. Для студентов, изучающих логику, следующая таблица перечисляет большинство общеупотребимых символов вместе с их именами и связанными областями математики. Кроме того, третий столбец содержит неформальное определение, шестой и седьмой дают код Unicode и имя для использования в HTML документах. Последний столбец даёт символ в системе LaTeX.
Семанти́ческий механи́зм рассужде́ний, семанти́ческая машина формирования рассуждений или движо́к пра́вил — это часть программного обеспечения, способная вывести логические умозаключения из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и вероятностные логические сети.
Futurebus — стандарт магистрально-модульной шины, разработанный под эгидой IEEE и призванный обеспечить передачу данных как между всеми компонентами компьютера, включая процессор, оперативную память и карты расширения, так и по соединениям локальной сети. Комплект стандартов, связанных с Futurebus, также, определял элементы крейтовой системы, алгоритмы обеспечения когерентности кэшей и иные аспекты работы компьютерных систем. Этот проект был начат в 1979 году и длился до 1987 года, закончившись принятием первой версии стандарта и немедленным началом работы над его редизайном. Переделка стандарта продолжалась до 1994 года, после чего ещё некоторое время выпускались различные дополнения. К этому моменту отрасль, в основном, начала использовать иные технологии и поддержка Futurebus не давала серьёзного преимущества производителям. Тем не менее, поддержка стандарта отдельными производителями фрагментарно продолжается и до настоящего времени.
Кэтрин Энн Маклин — американская писательница в жанре научной фантастики. Известна своими фантастическими рассказами 1950—1970 х годов, в которых исследовала влияние технологических достижений на людей и общество.
Джо Ричард Лансдейл — американский писатель и инструктор по боевым искусствам. Работал в таких жанрах как хоррор, научная фантастика, мистика, вестерн и саспенс, также известен как сценарист и автор комиксов. Несколько его романов были адаптированы для кино и телевидения.