Google Play 스토어에서 Unionpedia 앱을 복원하기 위해 작업 중입니다
나가는들어오는
🌟더 나은 탐색을 위해 디자인을 단순화했습니다!
Instagram Facebook X LinkedIn

선언형 프로그래밍

색인 선언형 프로그래밍

선언형 프로그래밍은 두 가지 뜻으로 통용되고 있. 한 정의에 따르면, 프로그램이 어떤 방법으로 해야 하는지를 나타내기보다 무엇과 같은지를 설명하는 경우에 "선언형"이.

목차

  1. 25 처지: C (프로그래밍 언어), 리스프, 명령형 프로그래밍, 관계형 데이터베이스, 논리형 프로그래밍, HTML, 스프레드시트, 튜링 완전, 자바 (프로그래밍 언어), 포트란, 절차적 프로그래밍, 캡슐화, 컴퓨터 프로그래밍, 유닛 테스트, 오즈 (프로그래밍 언어), 헤더 (컴퓨팅), 프롤로그, 프로그래밍 패러다임, 선언형 프로그래밍 언어, 함수형 프로그래밍, 알고리즘, 하스켈, SQL, XML, XSLT.

  2. 프로그래밍 패러다임

C (프로그래밍 언어)

C는 1972년 켄 톰슨과 데니스 리치가 벨 연구소에서 일할 당시 새로 개발된 유닉스 운영 체제에서 사용하기 위해 개발한 프로그래밍 언어이.

보다 선언형 프로그래밍와 C (프로그래밍 언어)

리스프

리스프(Lisp, LISP) 혹은 리습은 프로그래밍 언어의 계열로서, 오랜 역사와 독특하게 괄호를 사용하는 문법으로 유명.

보다 선언형 프로그래밍와 리스프

명령형 프로그래밍

학에서 명령형 프로그래밍(Imperative programming)은 선언형 프로그래밍과 반대되는 개념으로, 프로그래밍의 상태와 상태를 변경시키는 구문의 관점에서 연산을 설명하는 프로그래밍 패러다임의 일종이.

보다 선언형 프로그래밍와 명령형 프로그래밍

관계형 데이터베이스

형 데이터베이스(關係形 Database, Relational Database,, RDB)는 키(key)와 값(value)들의 간단한 관계를 테이블화 시킨 매우 간단한 원칙의 전산정보 데이터베이스이.

보다 선언형 프로그래밍와 관계형 데이터베이스

논리형 프로그래밍

리형 프로그래밍()은 논리 문장을 이용하여 프로그램을 표현하고 계산을 수행하는 개념에 기반을.

보다 선언형 프로그래밍와 논리형 프로그래밍

HTML

HTML은 하이퍼텍스트 마크업 언어()라는 의미의 웹 페이지를 위한 지배적인 마크업 언어.

보다 선언형 프로그래밍와 HTML

스프레드시트

스프레드시트(spreadsheet) 또는 표 계산은 경리, 회계 등의 계산을 위해 사용되는 표 형식의 계산용지나, 계산용지를 컴퓨터에서 사용할 수 있게 구현한 표 계산 프로그램을 의미.

보다 선언형 프로그래밍와 스프레드시트

튜링 완전

링 완전 (turing completeness)이란 어떤 프로그래밍 언어나 추상 기계가 튜링 기계와 동일한 계산 능력을 가진다는 의미이.

보다 선언형 프로그래밍와 튜링 완전

자바 (프로그래밍 언어)

자바()는 썬 마이크로시스템즈의 제임스 고슬링(James Gosling)과 다른 연구원들이 개발한 객체 지향적 프로그래밍 언어이.

보다 선언형 프로그래밍와 자바 (프로그래밍 언어)

포트란

(Fortran)은 1954년 IBM 704에서 과학적인 계산을 하기 위해 시작된 컴퓨터 프로그램 언어이.

보다 선언형 프로그래밍와 포트란

절차적 프로그래밍

절차적 프로그래밍(procedural programming)은 절차지향 프로그래밍 혹은 절차지향적 프로그래밍이라고도 불리는 프로그래밍 패러다임의 일종으로서, 때때로 명령형 프로그래밍과 동의어로 쓰이기도 하지만, 프로시저 호출의 개념을 바탕으로 하고 있는 프로그래밍 패러다임을 의미.

보다 선언형 프로그래밍와 절차적 프로그래밍

캡슐화

캡슐화()는 객체 지향 프로그래밍에서 다음 2가지 측면이 있다.

보다 선언형 프로그래밍와 캡슐화

컴퓨터 프로그래밍

밍() 또는 간단히 프로그래밍(programming) 혹은 코딩(coding)은 하나 이상의 관련된 추상 알고리즘을 특정한 프로그래밍 언어를 이용해 구체적인 컴퓨터 프로그램으로 구현하는 기술을 말. 프로그래밍은 기법, 과학, 수학, 공학적 속성들을 가지고 있.

보다 선언형 프로그래밍와 컴퓨터 프로그래밍

유닛 테스트

유닛 테스트(unit test)는 컴퓨터 프로그래밍에서 소스 코드의 특정 모듈이 의도된 대로 정확히 작동하는지 검증하는 절. 즉, 모든 함수와 메소드에 대한 테스트 케이스(Test case)를 작성하는 절차를 말. 이를 통해서 언제라도 코드 변경으로 인해 문제가 발생할 경우, 단시간 내에 이를 파악하고 바로 잡을 수 있도록 해준.

보다 선언형 프로그래밍와 유닛 테스트

오즈 (프로그래밍 언어)

오즈(Oz)는 다중 패러다임 프로그래밍 언어이.

보다 선언형 프로그래밍와 오즈 (프로그래밍 언어)

헤더 (컴퓨팅)

정보기술에서 헤더(header)는 저장되거나 전송되는 데이터 블록의 맨앞에 위치한 보충 데이터를 가리.

보다 선언형 프로그래밍와 헤더 (컴퓨팅)

프롤로그

음과 같은 뜻이 있.

보다 선언형 프로그래밍와 프롤로그

프로그래밍 패러다임

밍 패러다임(programming paradigm)은 프로그래밍의 패러다임 형태이.

보다 선언형 프로그래밍와 프로그래밍 패러다임

선언형 프로그래밍 언어

선언형 프로그래밍 언어는 선언형 프로그래밍을 사용하여 해법을 정의하기보다는 문제를 설명하는 고급언어이.

보다 선언형 프로그래밍와 선언형 프로그래밍 언어

함수형 프로그래밍

수형 프로그래밍은 자료 처리를 수학적 함수의 계산으로 취급하고 상태와 가변 데이터를 멀리하는 프로그래밍 패러다임의 하나이.

보다 선언형 프로그래밍와 함수형 프로그래밍

알고리즘

알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.

보다 선언형 프로그래밍와 알고리즘

하스켈

스켈 또는 해스켈()은 순수 함수형 프로그래밍 언어이.

보다 선언형 프로그래밍와 하스켈

SQL

이 도표는 단문을 구성하는 SQL 언어 요소 몇 가지를 보여준다. SQL(or, Structured Query Language, 구조화 질의어, S-Q-L)는 관계형 데이터베이스 관리 시스템(RDBMS)의 데이터를 관리하기 위해 설계된 특수 목적의 프로그래밍 언어이.

보다 선언형 프로그래밍와 SQL

XML

XML 예제 XML(Extensible Markup Language)은 W3C에서 개발된, 다른 특수한 목적을 갖는 마크업 언어를 만드는데 사용하도록 권장하는 다목적 마크업 언어이.

보다 선언형 프로그래밍와 XML

XSLT

XSLT(Extensible Stylesheet Language Transformations)는 XML 문서를 다른 XML 문서로 변환하는데 사용하는 XML 기반 언어이.

보다 선언형 프로그래밍와 XSLT

참고하세요

프로그래밍 패러다임