| |
| А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я |
ЭНЦИКЛОПЕДИЯ: СЛОВА НА СЛОГ ИСИС-ФЬОРД (Isfjord) залив Гренландского м., у западных берегов о. Западный Шпицберген (Норвегия). Длина 92,5 км, ширина при входе 11 км, глубина более 200 м. Почти весь год покрыт льдом. На берегу - г. Баренцбург. [...] ИСХОД ("Книга исхода") вторая книга Пятикнижия. [...] ИСЧЕРПЫВАНИЯ МЕТОД метод доказательства, применявшийся математиками древности при нахождении площадей и объемов. [...] ИСЧИСЛЕНИЕ знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы - языка исчисления, т. е. термов (слов) и формул (фраз), [...] ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ раздел математической логики, аксиоматическое построение логики высказываний. [...] ИСЧИСЛЕНИЕ КЛАССОВ раздел математической логики, логика классов, представленная (построенная) как исчисление; примерно соответствует силлогистике Аристотеля. [...] ИСЧИСЛЕНИЕ ПРЕДИКАТОВ раздел математической логики, логическое исчисление, в алфавит знаков которого, помимо символов исчисления высказываний, входят также символы вещей (индивидов), их свойств и отношений, а также выражений [...]
|
|
|
|
©2006-2008 Slova.Info. E-mail: info@slova.info При использовании материалов сайта ставьте следующую ссылку: Энциклопедия Слова.Инфо 
|