ћурашко ».ј., ћарина ».ћ. ћетодическое пособие по курсу ‘ункциональное и логическое программирование „асть 1 язык программировани€ Ћисп

Ќет изображени€
  • разное
  • doc
  • 305.5  Ѕ
  • добавлен 12.07.2011
Ѕелорусский государственный университет информатики и радиоэлектроники, 2002, 27с.
ƒл€ студентов специальности “10.02.00 "ѕрограммное обеспечение информационных технологий" „асть 1 язык программировани€ Ћисп
¬ методическом пособии изложены основы функционального программирование на примере €зыка Ћисп. ѕриведены сведени€ о системе программировани€ muLisp и описаны основные функции €зыка Ћисп.rn

—мотрите также


 ичкайло “.ј., “ушев ј.Ќ. ‘ункциональное и Ћогическое ѕрограммирование

 ичкайло “.ј., “ушев ј.Ќ. ‘ункциональное и Ћогическое ѕрограммирование

  • разное
  • pdf
  • 4.46 ћЅ
  • добавлен 04.03.2011
”чебное пособие. - јлт. гос. техн. ун-т им. ». ». ѕолзунова. ÷ентр дистанционного
обучени€. Ѕарнаул: 1999. - 148с.
ƒанное учебное пособие предназначено дл€ дистанционного изучени€ дисциплины
Ђ‘ункциональное и логическое программированиеї. –ассматриваютс€ вопросы
программировани€ на €зыке Ћисп, применение этого €з...
 рицкий —.¬., ћарина ».ћ. и др. ‘ункциональное и логическое программирование ћетодическое пособие „асть 2 язык программировани€ ѕролог

 рицкий —.¬., ћарина ».ћ. и др. ‘ункциональное и логическое программирование ћетодическое пособие „асть 2 язык программировани€ ѕролог

  • разное
  • pdf
  • 710.74  Ѕ
  • добавлен 13.07.2011
Ѕелорусский государственный университет информатики и радиоэлектроники, 2006, 28с.
ƒл€ студентов специальности I-40 01 01 "ѕрограммное обеспечение информационных технологий" ¬ 4-х част€х „асть 2
¬о второй части методического пособи€ изложены основы логического программировани€ на примере €зыка ѕролог. ѕособие предназначе...
—ошников ƒ.¬. Ћекции по Ћѕ. —лайды

—ошников ƒ.¬. Ћекции по Ћѕ. —лайды

  • разное
  • pdf
  • 21.9 ћЅ
  • добавлен 08.10.2009
ћј».
‘акультет прикладной математики.
 афедра вычислительной математики и программировани€.
ѕодготовка к экзамену по курсу Ћогическое программирование
ѕреподаватель: —ошников ƒ. ¬. ~500 стр.


„то такое логическое программирование
¬ведение в логическое программирование
Ћогика
–езолюции
—ошников ƒ.¬. ѕарадигма логического программировани€

—ошников ƒ.¬. ѕарадигма логического программировани€

  • разное
  • djvu
  • 12.5 ћЅ
  • добавлен 01.11.2009
ћј».
‘акультет прикладной математики.
 афедра вычислительной математики и программировани€.
ќбъем: 111стр.

—одержание:
ѕарадигмы.
—истемы логического программировани€.
Ћогика и исчисление предикатов.
Ћогическое программирование как алгоритмическа€ модель.
“ипизированное логическое програм...
 урсова€ работа - ќсобенности €зыка Ћ»—ѕ

 урсова€ работа - ќсобенности €зыка Ћ»—ѕ

  • курсовые
  • doc
  • 115.55  Ѕ
  • добавлен 07.02.2011
¬ведение.
язык программировани€ Ћ»—ѕ.
ќсновные функции €зыка Ћисп.
јрифметические функции.
Ћогические функции.
—пециальные функции.
ќсобенности диалектов €зыка Ћ»—ѕ.
MacLISP.
MuLISP.
nterLISP.
CommonLISP.
ќсобенности €зыка Ћ»—ѕ.
«аключение.
Ћебедева Ќ.—. ћетодическое пособие по программированию на Turbo Prolog

Ћебедева Ќ.—. ћетодическое пособие по программированию на Turbo Prolog

  • разное
  • pdf
  • 659.49  Ѕ
  • добавлен 27.01.2009
ƒанное учебное пособие предназначено дл€ студентов компьютерных специальностей, изучающих курс ЂЋогическое программированиеї. –ассмотрены основы логического программировани€. ƒаетс€ описание, синтаксические элементы и основы программировани€ на “урбо ѕрологе. –ассмотрена работа с базами данных и с системными
предикатами, нео...
–оманов ƒ.ј. ћетодические указани€ по оформлению курсовой работы по дисциплине ‘ункциональное и логическое программирование

–оманов ƒ.ј. ћетодические указани€ по оформлению курсовой работы по дисциплине ‘ункциональное и логическое программирование

  • разное
  • doc
  • 101.5  Ѕ
  • добавлен 17.02.2011
–оманов ƒ. ј. ћетодические указани€ по оформлению курсовой работы по дисциплине "‘ункциональное и логическое программирование" дл€ студентов специальности 220400 Ц ѕрограммное обеспечение вычислительной техники и автоматизированных систем.  раснодар, 2004, 24 с.

ѕредставлены основные требовани€ к выполнению и оформлению...
Ўпаргалка - ‘ункционально-логическое программирование Prolog, Lisp

Ўпаргалка - ‘ункционально-логическое программирование Prolog, Lisp

  • шпаргалки
  • doc
  • 91.3  Ѕ
  • добавлен 16.03.2011
Ўѕј–√јЋ ј!
ѕон€ти€ предиката.
јлгоритмы унификации.
—труктура пролог-программы.
ќрганизаци€ повторов.
¬етвление-выбор.
—тандартные математические предикаты.
—писки и операции над ними.
—ортировка списков.
¬ыборка элементов из списков.
—ли€ние списков.
ћножества в ѕрологе.
–еализаци...
—олдатова ќ.ѕ., ЋЄзина ».¬. Ћогическое программирование на €зыке Visual Prolog

—олдатова ќ.ѕ., ЋЄзина ».¬. Ћогическое программирование на €зыке Visual Prolog

  • разное
  • pdf
  • 1.04 ћЅ
  • добавлен 24.10.2010
”чебное пособие: —амара, 2010. - 81 с.

ѕредназначено дл€ студентов направлени€ Ђ»нформационные технологииї и специальности Ђјвтоматизированные системы обработки информации и управлени€ї, и может быть использовано при изучении дисциплин ЂЋогическое программированиеї, Ђ»нтеллектуальные системыї, Ђ—истемы искусственного ин...
—ошников ƒ.¬. Ћекции по Ћѕ

—ошников ƒ.¬. Ћекции по Ћѕ

  • разное
  • pdf
  • 650.55  Ѕ
  • добавлен 09.10.2009
ћј».
‘акультет прикладной математики.
 афедра вычислительной математики и программировани€.
ѕодготовка к экзамену по курсу Ћогическое программирование
ѕреподаватель: —ошников ƒ. ¬. 123 стр.

I ќсновы

1 ѕарадигмы
2 Ћогика предикатов 1-го пор€дка
21 —емантика логики предикатов
3 »с...