논리형 프로그래밍 oor Engels

논리형 프로그래밍

Vertalings in die woordeboek Koreaans - Engels

logic programming

naamwoord

programming paradigm based on formal logic

voorbeelde

명령형 프로그래밍 언어는 함수형 프로그래밍이나 논리형 프로그래밍 언어와 같은 다른 형태의 언어와 다르다.
General parlance is distinct from formal speech or formal writing.

이것이 우리가 공을 들이고 있는 것입니다. 이 지식 지도로부터 논리, 컴퓨터 프로그래밍, 문법, 유전학 등의 모든 과목들을 학습한다고 생각할 수 있습니다. 여러분이 이것저것 안다면, 다음 개념에 대한 준비가 된 것입니다.
So you can imagine -- and this is what we are working on -- from this knowledge map, you have logic, you have computer programming, you have grammar, you have genetics, all based off of that core of, if you know this and that, now you're ready for this next concept.

더 성공적인 결실을 맺는 논리적 접근은 70년대 에딘벌 대학의 로버트 코왈스키(Robert Kowalski)가 개발했고 곧 프랑스의 연구가인 알라인 콜메루엘(Alain Colmerauer)과 성공적인 논리 프로그래밍 언어인 프롤로그를 만든 필립 오우셀(Philippe Roussel)과의 협업을 이끌어냈다.
A more fruitful approach to logic was developed in the 1970s by Robert Kowalski at the University of Edinburgh, and soon this led to the collaboration with French researchers Alain Colmerauer and Philippe Roussel who created the successful logic programming language Prolog.

대부분의 FPGA는 프로그래밍 가능 논리 요소 (FPGA 식으로는 논리 블록이라고도 함)에 간단한 플립플롭이나 더 완벽한 메모리 블록으로 된 메모리 요소를 포함하고 있다.
In most FPGAs, logic blocks also include memory elements, which may be simple flip-flops or more complete blocks of memory.

각 프로그래머블 어레이 논리 소자는 "한번만 프로그램되며" (OTP), 이것은 초기에 프로그래밍한 후에 갱신하거나 재사용할 수 없다는 것을 뜻한다.
"Quod scripsi, scripsi" in this sense means that once something has been established into the timeline, it cannot be changed or removed.

Java는 응집성과 논리적으로 일관되는 프로그래밍 언어이다.
Java is a coherent and logically consistent programming language.

여러분은 프로그래밍을 하기 위하여 논리적 사고와 호기심이 필요하다.
You need logical thinking and curiosity to program

독립적으로 학습할 수 있는 능력이 없다면, 모든 가능한 상황에 논리적인 대응을 하기 위해서 필요한 프로그래밍 작업이 어마어마할 것입니다.
Without this independent learning, the challenge of programming defined logical reactions to all theoretically possible situations would be almost unimaginable.

그렇다면 프로그래밍에서 작업을 시작하고 매일 복잡한 논리 문제를 해결하도록 강요했다.
Then I began working in programing and was forced to work out complex logical problems on a daily basis.

기계에서 프로그래밍하든 CAD / CAM 소프트웨어에서 가져 오기하든 HMI는 논리적이고 사용하기 쉽도록 설계되었습니다. 연계 기능
Whether you program on the machine or import from CAD/CAM software, our HMI is designed to be logical and simple to use.

일본 문부과학성(Ministry of Education, Culture, Sports, Science and Technology; MEXT)에 따르면, 위 목적은 컴퓨터 프로그래밍에서 필수적인 논리적 사고력을 발전시키기 위한 것입니다. 실제로, 논리적인 사고력은 아이들의 진로와는 무관하게 세월이 흘러도 변함없이 보편적으로 필요한 능력입니다*.
According to the Ministry of Education, Culture, Sports, Science and Technology (MEXT), its objective is to develop the logical thinking skills essential for computer programming, which in fact will prove to be a timeless, universally necessary capability regardless of children's future careers *.

컴퓨터 과학에 대한 관심이 그의 전문 분야의 프로그래밍 언어, 자동 오류 수정 - 컴퓨터의 숫자가 아닌 응용 프로그램과 컴퓨터 과학 및 수학의 논리 사이의 연결을 포함합니다.
His special fields of interest in computer science included programming languages, automatic error correction, non-numerical applications of computers and the connection between computer science and mathematical logic.

vCloud NFV에는 네트워킹 및 보안 기능이 내장되어 있어서 프로그래밍 방식으로 프로비저닝 및 관리할 수 있는 스위칭, 라우팅, QoS(서비스 품질), 모니터링 등 논리적 네트워킹 요소와 서비스를 모두 제공합니다.
vCloud NFV embeds networking and security functionality and provides a complete set of logical networking elements and services including switching, routing, QoS and monitoring that can be programmatically provisioned and managed.